Alternatives and similar repositories for AC-Solver

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

• ruehlef / ribbon
  Code that searches for ribbon bands
  ☆15Updated 5 months ago
• harmonic-ai / datasets
  Harmonic Datasets
  ☆40Updated last year
• Purewhite2019 / formal_problem_solving_main
  Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"
  ☆21Updated 2 months ago
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆77Updated 11 months ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆169Updated last month
• wellecks / transformers4math-simons
  Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025
  ☆36Updated 3 months ago
• collinskatie / checkmate
  ☆45Updated 9 months ago
• Silent-Zebra / twisted-smc-lm
  ☆29Updated 3 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆71Updated 11 months ago
• rahul3613 / ProofNet-lean4
  ProofNet dataset ported into Lean 4
  ☆22Updated last month
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆108Updated 9 months ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆38Updated last year
• normal-computing / thermox
  Exact OU processes with JAX
  ☆48Updated 4 months ago
• mariainesdff / ai_math_tcs
  An introduction to theorem proving in Lean for the impatient.
  ☆18Updated 3 months ago
• clement-bonnet / lpn
  Latent Program Network (from the "Searching Latent Program Spaces" paper)
  ☆91Updated 4 months ago
• ExtensityAI / benchmark
  Evaluation of neuro-symbolic engines
  ☆38Updated 11 months ago
• etimush / ARC_NCA
  Repo for solving arc problems with an Neural Cellular Automata
  ☆17Updated last month
• morph-labs / lean-abc-true-almost-always
  ☆74Updated last month
• uzulim / hades
  Fast singularity detection with kernel
  ☆33Updated last year
• Lagooon / LeanSTaR
  ☆42Updated 10 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆107Updated 9 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…
  ☆27Updated last month
• pnnl / ML4AlgComb
  ML Benchmarks in Algebraic Combinatorics
  ☆14Updated 5 months ago
• yeahrmek / pylean
  Python wrapper for lean-gym
  ☆12Updated 2 years ago
• AdaptiveSubgoalSearch / adaptive_subs
  Adaptive Subgoal Search
  ☆19Updated 2 years ago
• LiibanMo / scikit-jax
  Your favourite classical machine learning algos on the GPU/TPU
  ☆20Updated 6 months ago
• lio-wong / dreamcoder
  ☆67Updated 3 years ago
• jonppe / funsearch
  Simple working implementation for google-deepmind FunSearch algorithm
  ☆20Updated last year
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆173Updated this week
• KindXiaoming / BIMT
  Brain-Inspired Modular Training (BIMT), a method for making neural networks more modular and interpretable.
  ☆171Updated 2 years ago