From Knowledge Access to Source Learning: Developing Source-Specific Competence Paper • 2610.02150 • Published 8 days ago • 11
Explore Broadly, Reason Sharply: Push Small Models toward the Frontier via Sampling Paper • 2609.38104 • Published 10 days ago • 9
Beyond Solver Verdicts: Generative Reward Models for Autoformalization Paper • 2609.11085 • Published 29 days ago • 35