Alternatives and similar repositories for AC-Solver

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

• lean-dojo / LeanAgent
  LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…
  ☆53Updated 7 months ago
• ruehlef / ribbon
  Code that searches for ribbon bands
  ☆18Updated last year
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆199Updated 3 months ago
• harmonic-ai / datasets
  Harmonic Datasets
  ☆52Updated last year
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆116Updated last year
• Kripner / nanoproof
  Minimal open-source implementation of AlphaProof and HyperTree Proof Search.
  ☆62Updated last week
• google-deepmind / alphaevolve_repository_of_problems
  ☆191Updated 2 weeks ago
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆61Updated last year
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆40Updated last year
• clement-bonnet / lpn
  Latent Program Network (from the "Searching Latent Program Spaces" paper)
  ☆107Updated 2 months ago
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆81Updated last year
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆75Updated last year
• Purewhite2019 / formal_problem_solving_main
  Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"
  ☆28Updated 9 months ago
• etimush / ARC_NCA
  Repo for solving arc problems with an Neural Cellular Automata
  ☆23Updated 8 months ago
• LiibanMo / scikit-jax
  Your favourite classical machine learning algos on the GPU/TPU
  ☆21Updated last month
• uzulim / hades
  Fast singularity detection with kernel
  ☆38Updated 2 years ago
• collinskatie / checkmate
  ☆45Updated last year
• FusionBrainLab / LLM-Microscope
  ☆71Updated last year
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆177Updated 2 years ago
• ConfeitoHS / arcle
  A Gymnasium-based Environment of the Abstraction and Reasoning Corpus (ARC)
  ☆69Updated last year
• smearle / autoverse
  Generative cellular automaton-like learning environments for RL.
  ☆20Updated last year
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆112Updated last year
• AxiomMath / Putnam2025
  Our solution to Putnam 2025.
  ☆70Updated 3 weeks ago
• Lagooon / LeanSTaR
  ☆42Updated last year
• lio-wong / dreamcoder
  ☆74Updated 3 years ago
• harmonic-ai / IMO2025
  ☆58Updated 6 months ago
• HEmile / a-nesi
  A Scalable Approximate Method for Probabilistic Neurosymbolic Inference
  ☆23Updated last year
• flowersteam / SOAR
  Implementation of SOAR
  ☆49Updated 4 months ago
• RickySkywalker / TheoremLlama
  This is the official repository for all the code of TheoremLlama
  ☆47Updated 6 months ago
• seewoo5 / awesome-ai-for-math
  List of awesome works that use AI for mathematical discoveries.
  ☆29Updated this week