Literature
Papers
Notable = Hugging Face daily papers (community-upvoted) · every paper links to arXiv · citations from OpenAlex
Showing 1–4 of 4 notable papers
| Paper | Topic | Authors | Published | HF ▲ |
|---|---|---|---|---|
| MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling | Theory | Jiacheng Chen +22 | Jun 11, 2026 | 80 |
| Trust Functions: Near-Lossless Weak-to-Strong Generalization by Learning When to Trust the Weak Teacher | Theory | Arda Uzunoglu +2 | May 31, 2026 | 5 |
| Semi-Supervised Noise Adaptation: Transferring Knowledge from Noise Domain | Theory | Yuan Yao +5 | May 30, 2026 | 1 |
| A Formally Verified Library of Mathematical Finance in Lean 4 | Theory | Raphael Coelho | May 31, 2026 | 1 |