TY  - RPRT
TI  - Risk-Controlled Lean-as-Judge for Natural-Language Mathematical Reasoning
AU  - Pauline Bourigault
AU  - Xiaotong Ji
AU  - Matthieu Zimmer
AU  - Rasul Tutunov
AU  - Haitham Bou Ammar
PY  - 2026
UR  - https://arxiv.org/abs/2605.28365
ID  - 2605.28365
ER  -