statistical significance
- ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
- Anchor-based Maximum Discrepancy for Relative Similarity Testing
- Demystifying Language Model Forgetting with Low-rank Example Associations
- Probing Neural Combinatorial Optimization Models
- Uncertainty-Based Smooth Policy Regularisation for Reinforcement Learning with Few Demonstrations