Risk-Controlled Lean-as-Judge for Natural-Language Mathematical Reasoning 文章

ArXiv CS.CL2026-05-28NEWSen作者: Pauline Bourigault, Xiaotong Ji, Matthieu Zimmer, Rasul Tutunov, Haitham Bou Ammar