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".
☆37Aug 11, 2025Updated last year
Alternatives and similar repositories for AC-Solver
Users that are interested in AC-Solver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code that searches for ribbon bands☆18Jul 3, 2026Updated 4 months ago
- Proétale cohomology in Lean☆18Sep 29, 2026Updated last month
- Focused research repository on Grothendieck rank-p^2 finite flat group-scheme conjecture☆14Aug 4, 2026Updated 2 months ago
- Formalisation of statements of recent theorems from the Annals of Mathematics.☆31Aug 13, 2026Updated 2 months ago
- ☆14Feb 13, 2026Updated 8 months 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.
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆17Oct 11, 2026Updated 3 weeks ago
- ☆13Jul 8, 2024Updated 2 years ago
- ☆33Sep 9, 2026Updated last month
- Lean formalization of CFSG☆20Updated this 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
- Generalized Lipschitz Group Equivariant Neural Networks (GLGENN) [ICML 2025]☆14May 23, 2025Updated last year
- ☆15Mar 25, 2026Updated 7 months ago
- ☆27Nov 1, 2021Updated 5 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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 4 years ago
- AI for Mathematics Paper List☆18Jan 14, 2025Updated last year
- Source for the community blog☆11Oct 26, 2026Updated last week
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated last month
- ☆38Jan 10, 2025Updated last year
- ☆40Sep 27, 2026Updated last month
- Convert any PDF into it's LaTeX source☆18May 15, 2025Updated last year
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆21Jun 27, 2026Updated 4 months ago
- The educational course dedicated to FOSS culture and toolchain☆20Mar 24, 2026Updated 7 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- MERA Code — the first comprehensive open benchmark for evaluating large language models (LLMs) in applied programming tasks in Russian.☆15Sep 14, 2026Updated last month
- Official Repository of Surprising Anecdotes for AI Finds a Way☆15Aug 27, 2026Updated 2 months ago
- A platform for formalizing OEIS sequences in Lean 4☆21Jun 10, 2026Updated 4 months ago
- Code for paper "Short-term River Flood Forecasting using Composite Models and Automated Machine Learning: the Case Study of Lena River"☆12Dec 9, 2021Updated 4 years ago
- ☆25Aug 2, 2022Updated 4 years ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆26May 28, 2026Updated 5 months ago
- This is an unofficial ITMO beamer template made by me. Please, feel free to use it and contribute.☆15Oct 10, 2023Updated 3 years ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆28May 25, 2024Updated 2 years ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Still working on improving this!☆16Oct 16, 2026Updated 2 weeks ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆40Dec 12, 2022Updated 3 years ago
- Web published translation of Grothendieck's essay on kimchi☆19Jun 7, 2026Updated 4 months ago
- Running Aristotle from Harmonic on Putnam 2025 problems☆15Dec 10, 2025Updated 10 months ago
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated 3 weeks ago
- Intuitive explanation of linear regression algorithm and optimization methods☆16Sep 27, 2026Updated last month
- Библиотека для анализа городских событий☆19Nov 6, 2025Updated 11 months ago