Alternatives and similar repositories for AC-Solver

Users that are interested in AC-Solver are comparing it to the libraries listed below

• Purewhite2019 / formal_problem_solving_main
  Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"
  ☆27Updated 7 months ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆197Updated 2 months ago
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆81Updated last year
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆113Updated last year
• harmonic-ai / datasets
  Harmonic Datasets
  ☆52Updated last year
• ruehlef / ribbon
  Code that searches for ribbon bands
  ☆18Updated 10 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆75Updated 11 months ago
• collinskatie / checkmate
  ☆45Updated last year
• harmonic-ai / IMO2025
  ☆53Updated 4 months ago
• lio-wong / dreamcoder
  ☆74Updated 3 years ago
• kitft / funsearch
  Genetic programming using LLMs
  ☆53Updated 9 months ago
• KindXiaoming / BIMT
  Brain-Inspired Modular Training (BIMT), a method for making neural networks more modular and interpretable.
  ☆174Updated 2 years ago
• clement-bonnet / lpn
  Latent Program Network (from the "Searching Latent Program Spaces" paper)
  ☆106Updated 3 weeks ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆40Updated last year
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆71Updated last year
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆61Updated last year
• oripress / AlgoTune
  AlgoTune is a NeurIPS 2025 benchmark made up of 154 math, physics, and computer science problems. The goal is write code that solves each…
  ☆75Updated 3 weeks ago
• RickySkywalker / TheoremLlama
  This is the official repository for all the code of TheoremLlama
  ☆47Updated 4 months ago
• lean-dojo / LeanAgent
  LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…
  ☆44Updated 6 months ago
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆177Updated last year
• MilesCranmer / pysr_paper
  A paper describing the implementation of PySR and SymbolicRegression.jl
  ☆65Updated last year
• google-deepmind / alphaevolve_repository_of_problems
  ☆169Updated last week
• trishullab / PutnamBench
  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
  ☆186Updated last week
• etimush / ARC_NCA
  Repo for solving arc problems with an Neural Cellular Automata
  ☆22Updated 7 months ago
• wellecks / transformers4math-simons
  Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025
  ☆42Updated 8 months ago
• Lizn-zn / NeqLIPS
  NeqLIPS: a powerful Olympiad-level inequality prover
  ☆39Updated 3 months ago
• HEmile / a-nesi
  A Scalable Approximate Method for Probabilistic Neurosymbolic Inference
  ☆17Updated 10 months ago
• dlwh / jax_sourceror
  Turn jitted jax functions back into python source code
  ☆23Updated last year
• uzulim / hades
  Fast singularity detection with kernel
  ☆37Updated last year
• fzyzcjy / ai_math_paper_list
  AI for Mathematics Paper List
  ☆17Updated 11 months ago