Built with and by Teycir Ben Soltane•
How to Use•FAQ•GitHub•arXiv.org•
Share:
ArXivCSExplorer
☆☆Bookmarks🏆RSSHow to UseFAQ
Home/Authors/Rasul Tutunov

Rasul Tutunov

1 indexed paper

Recent (6 mo)
1
With code
0
Influential cites
0
Benchmarked
0

Publications per year

1
26

Top categories

AI×1NLP×1Logic×1

Frequent co-authors

Pauline Bourigault1×
Xiaotong Ji1×
Matthieu Zimmer1×
Haitham Bou Ammar1×

Research Timeline

2026
Risk-Controlled Lean-as-Judge for Natural-Language Mathematical Reasoning

The paper introduces COVCAL, a risk-controlled method that precisely determines when a partial formalization signal from an autoformalizer can be trusted to certify the correctness of natural-language mathematical answers.

Highlighted terms show continued research focus across papers

Papers

cs.AIcs.CLcs.LORecentMay 27, 2026

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

Pauline Bourigault, Xiaotong Ji, Matthieu Zimmer, Rasul Tutunov +1 more

The paper introduces COVCAL, a risk-controlled method that precisely determines when a partial formalization signal from an autoformalizer can be trusted to certify the correctness of natural-language…

View →