[ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problems.
☆199Jun 8, 2025Updated last year
Alternatives and similar repositories for OlympiadBench
Users that are interested in OlympiadBench are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [ACL 2024 Findings] MathBench: A Comprehensive Multi-Level Difficulty Mathematics Evaluation Dataset☆118May 22, 2025Updated last year
- The official repository of the Omni-MATH benchmark.☆92Dec 22, 2024Updated last year
- The rule-based evaluation subset and code implementation of Omni-MATH☆29Dec 23, 2024Updated last year
- ☆30Dec 27, 2024Updated last year
- [ICLR 2025] Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist☆34Oct 23, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆85Jan 25, 2025Updated last year
- ☆1,200Jan 10, 2026Updated 9 months ago
- Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data☆43May 29, 2024Updated 2 years ago
- Feeling confused about super alignment? Here is a reading list☆42Jan 9, 2024Updated 2 years ago
- ☆136Jul 8, 2024Updated 2 years ago
- A unified benchmark for math reasoning☆90Jan 25, 2023Updated 3 years ago
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆280Apr 26, 2024Updated 2 years ago
- Mix of Minimal Optimal Sets (MMOS) of dataset has two advantages for two aspects, higher performance and lower construction costs on math…☆73Jul 27, 2024Updated 2 years ago
- ☆342Jun 5, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆322Sep 18, 2024Updated 2 years ago
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆41May 15, 2024Updated 2 years ago
- MathVista: data, code, and evaluation for Mathematical Reasoning in Visual Contexts☆367Jul 27, 2026Updated 3 months ago
- ☆496Jul 22, 2024Updated 2 years ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆40Mar 24, 2023Updated 3 years ago
- The MATH Dataset (NeurIPS 2021)☆1,395Sep 6, 2025Updated last year
- Scalable RL solution for advanced reasoning of language models☆1,873Mar 18, 2025Updated last year
- [NeurIPS 2025 D&B Track] Evaluation Code Repo for Paper "PolyMath: Evaluating Mathematical Reasoning in Multilingual Contexts"☆43May 22, 2025Updated last year
- Implementation for "Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs"☆398Jan 19, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models☆456Feb 1, 2024Updated 2 years ago
- [NeurIPS 2024] Calibrated Self-Rewarding Vision Language Models☆87Oct 26, 2025Updated last year
- A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models☆77Feb 25, 2025Updated last year
- A High-Performance Lexical Analyzer for Chinese☆27Nov 16, 2023Updated 2 years ago
- [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression☆34Dec 7, 2022Updated 3 years ago
- Codes for the paper "∞Bench: Extending Long Context Evaluation Beyond 100K Tokens": https://arxiv.org/abs/2402.13718☆393Sep 25, 2024Updated 2 years ago
- A fork to add multimodal model training to open-r1☆1,604Feb 8, 2025Updated last year
- [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*☆120Dec 10, 2024Updated last year
- [AAAI 2025] Augmenting Math Word Problems via Iterative Question Composing (https://arxiv.org/abs/2401.09003)☆23Oct 2, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- [CAV 2025] PyEuclid: A Versatile Formal Plane Geometry System in Python☆15Jun 27, 2025Updated last year
- Benchmark for undergraduate-level formal mathematics☆127Oct 14, 2024Updated 2 years ago
- Github repo for MARVEL: Multidimensional Abstraction and Reasoning through Visual Evaluation and Learning☆18Jun 12, 2024Updated 2 years ago
- The implementation of paper "LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Fee…☆38Jul 25, 2024Updated 2 years ago
- MM-EUREKA: Exploring the Frontiers of Multimodal Reasoning with Rule-based Reinforcement Learning☆772Sep 7, 2025Updated last year
- ☆10Jul 31, 2025Updated last year
- (ACL 2025) MAmmoTH-VL: Eliciting Multimodal Reasoning with Instruction Tuning at Scale☆50Jun 4, 2025Updated last year