Get started
Author

Yuri Chervonyi

Towards Robust Mathematical Reasoning
2025 · Thang Luong, Dawsen Hwang, et al. · Conference on Empirical Methods in Natural Language Processing (EMNLP) · 4
PDF
Towards Autonomous Mathematics Research
2026 · Feng, Tony, Trinh, Trieu H., et al. · arXiv (Cornell University) · 3
PDF
Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2
2025 · Chervonyi, Yuri, Trinh, Trieu H., et al. · arXiv (Cornell University) · 3
PDF
Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems
2026 · Feng, Tony, Trinh, Trieu, et al. · arXiv (Cornell University) · 2
PDF
MaD Physics: Evaluating information seeking under constraints in physical environments
2026 · Jain, Moksh, Bennani, Mehdi, et al. · arXiv (Cornell University)
PDF
Aletheia tackles FirstProof autonomously
2026 · Feng, Tony, Jung, Junehyuk, et al. · arXiv (Cornell University)
PDF
Towards Robust Mathematical Reasoning
2025 · Luong, Thang, Hwang, Dawsen, et al. · arXiv (Cornell University)
PDF
Works count: 7
Citation count: 12
H-index: 3
I10-index:
Year
Topic
Type