89 citations
- Autodesk (Canada)CA5 papers
- University of TorontoCA4 papers
- Carnegie Mellon UniversityUS3 papers
- Massachusetts Institute of TechnologyUS3 papers
- Amirkabir University of TechnologyIR2 papers
- Autodesk (United Kingdom)GB2 papers
- City University of New YorkUS2 papers
- Google (United States)US2 papers
- Moscow Institute of Thermal TechnologyRU2 papers
- New York UniversityUS2 papers
- Pennsylvania State UniversityUS2 papers
- Simon Fraser UniversityCA2 papers
Showing 2025 · cs.AIShow all
2 papers · 2 filters
cs.AI2025
CombiGraph-Vis: A Curated Multimodal Olympiad Benchmark for Discrete Mathematical Reasoning
Hamed Mahdavi, Pouria Mahdavinia, Alireza Farhadi +7
State-of-the-art (SOTA) LLMs have progressed from struggling on proof-based Olympiad problems to solving most of the IMO 2025 problems, with leading systems reportedly handling 5 o…
cs.AI2025
RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflows
Hamed Mahdavi, Pouria Mahdavinia, Samira Malek +7
State-of-the-art (SOTA) LLMs have progressed from struggling on proof-based Olympiad problems to solving most of the IMO 2025 problems, with leading systems reportedly handling 5 o…