AI Research

AI & ML Research Papers

A comprehensive index of artificial intelligence and machine-learning research with AI-generated summaries, citation metrics, and direct links to papers and code.

All Papers

2 papers

PreprintConference on Empirical Methods in Natural Language Processing2025

Towards Robust Mathematical Reasoning

Thang Luong, Dawsen Hwang, Hoang Nguyen, et al.

Introduces IMO-Bench, a suite of Olympiad-level benchmarks for robust mathematical reasoning, enabling gold-level IMO performance via Gemini Deep Think.

59Nov 3, 2025ReasoningBenchmarks

arXiv

Preprint2024

OmniMath

Unknown

OmniMath introduces a comprehensive Olympiad-level math benchmark with 4428 problems across 33 sub-domains and 10 difficulty levels, using GPT-4o and an open-source verifier OmniJudge for rigorous evaluation.

0Oct 1, 2024ReasoningBenchmarks