aw31/openai-imo-2025-proofs

481

1 commits

updated Jul 18, 2025

README

OpenAI IMO 2025 Proofs

This repository hosts the proofs produced by our experimental reasoning LLM during its evaluation on the 2025 International Math Olympiad.

Contributors

aw31

1 commits

Similar repos

google-deepmind/superhuman

803

ByteDance-Seed/Seed-Prover

443

ArjunPanickssery/ai-math-debate

AI debate on math problems

blanchette/interactive_theorem_proving_2024

Files associated with the course Interactive Theorem Proving at LMU SoSe 2024

kavin525zhang/LLM_reasoning_framework

Maxwell-Jia/AIME_2024

Dataset

AIME 2024 Dataset

nvidia/Nemotron-Math-Proofs-v3-SFT

Dataset

Nemotron-Math-Proofs-v3-SFT

insait-institute/open-proof-corpus

This repository contains the code for the paper The Open Proof Corpus: Building a Large-Scale,…

aw31/openai-imo-2025-proofs

481

1 commits

updated Jul 18, 2025

See the code

README

OpenAI IMO 2025 Proofs

This repository hosts the proofs produced by our experimental reasoning LLM during its evaluation on the 2025 International Math Olympiad.

Similar repos

google-deepmind/superhuman

803

ByteDance-Seed/Seed-Prover

443

ArjunPanickssery/ai-math-debate

AI debate on math problems

blanchette/interactive_theorem_proving_2024

Files associated with the course Interactive Theorem Proving at LMU SoSe 2024

kavin525zhang/LLM_reasoning_framework

Maxwell-Jia/AIME_2024

Dataset

AIME 2024 Dataset

nvidia/Nemotron-Math-Proofs-v3-SFT

Dataset

Nemotron-Math-Proofs-v3-SFT

insait-institute/open-proof-corpus

This repository contains the code for the paper The Open Proof Corpus: Building a Large-Scale,…

Contributors

aw31

1 commits