A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for reinforcement learning: A case study".
☆32Aug 11, 2025Updated 6 months ago
Alternatives and similar repositories for AC-Solver
Users that are interested in AC-Solver are comparing it to the libraries listed below
Sorting:
- Code that searches for ribbon bands☆18Jan 28, 2025Updated last year
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆42Feb 23, 2026Updated last week
- YSC 2023 Papers: A complete collection of research papers, code and data from the International Young Scientists Conference 2023 for youn…☆12Jan 17, 2024Updated 2 years ago
- Библиотека для анализа городских событий☆18Nov 6, 2025Updated 3 months ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- The repository contains the data of the NSS lab team for the hackathon "AgroCode Hack 2022". The task was to analyze cow treatment data a…☆11Sep 19, 2022Updated 3 years ago
- Convert any PDF into it's LaTeX source☆18May 15, 2025Updated 9 months ago
- Exponent pair database☆69Feb 2, 2026Updated 3 weeks ago
- The Lean Theorem Proving Environment☆14May 7, 2023Updated 2 years ago
- ☆35Jan 10, 2025Updated last year
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Jul 2, 2024Updated last year
- This is an unofficial ITMO beamer template made by me. Please, feel free to use it and contribute.☆15Oct 10, 2023Updated 2 years ago
- Example formalization of Game Theoretic concepts in Lean☆26Feb 14, 2025Updated last year
- Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theo…☆18Feb 19, 2026Updated last week
- A formal proof of the Riemann Hypothesis for curves☆41Feb 6, 2026Updated 3 weeks ago
- nanoMINER: Multimodal Information Extraction for Nanomaterials☆28Feb 18, 2025Updated last year
- List of awesome works that use AI for mathematical discoveries.☆31Feb 21, 2026Updated last week
- ARCLab-MIT participation in the KSPDG challenge☆26Feb 24, 2025Updated last year
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆37Dec 18, 2025Updated 2 months ago
- All the math/tex files for the Automorphic Project☆19Feb 12, 2026Updated 2 weeks ago
- Tools for working with PubMed data.☆15Sep 26, 2020Updated 5 years ago
- Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"☆29May 8, 2025Updated 9 months ago
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"☆19May 25, 2023Updated 2 years ago
- Formalization of IMO shortlist problems in Lean 4☆25Updated this week
- ☆25Nov 19, 2025Updated 3 months ago
- Модель профессиональных компетенций в области ИИ☆27Jan 15, 2025Updated last year
- Goldbach conjecture = 25-state turing machine☆38Jan 13, 2025Updated last year
- Conservative floating point interval arithmetic in Lean☆24Jan 20, 2026Updated last month
- ☆26Jul 16, 2025Updated 7 months ago
- ☆26Aug 2, 2022Updated 3 years ago
- ProofNet dataset ported into Lean 4☆29Jun 9, 2025Updated 8 months ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆25Updated this week
- ☆26Nov 1, 2021Updated 4 years ago
- ☆29Feb 18, 2026Updated last week
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- ☆31Nov 23, 2025Updated 3 months ago
- Lean mathzoo☆24Mar 23, 2022Updated 3 years ago
- Interfacing with Large Language Models (remote and local) from Lean.☆28Jul 15, 2024Updated last year
- ☆28Jun 4, 2025Updated 8 months ago