works on
chain-of-thought 1evaluation 1reasoning models 1reranking 1test-time compute 1

From the 1 of 7 linked papers with an AI index.

activity
20242026
collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2026

QED-Nano: Teaching a Tiny Model to Prove Hard Theorems

LM-Provers, Yuxiao Qu, Amrith Setlur +6

Proprietary AI systems have recently demonstrated impressive capabilities on complex proof-based problems, with gold-level performance reported at the 2025 International Mathematic…