Alternatives and similar repositories for AC-Solver

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

• harmonic-ai / datasets
  Harmonic Datasets
  ☆51Updated last year
• Purewhite2019 / formal_problem_solving_main
  Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"
  ☆27Updated 6 months ago
• yeahrmek / pylean
  Python wrapper for lean-gym
  ☆12Updated 2 years ago
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆81Updated last year
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆39Updated last year
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆192Updated 3 weeks ago
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆110Updated last year
• lean-dojo / LeanAgent
  LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…
  ☆40Updated 4 months ago
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆61Updated last year
• ruehlef / ribbon
  Code that searches for ribbon bands
  ☆18Updated 9 months ago
• collinskatie / checkmate
  ☆45Updated last year
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆71Updated 9 months ago
• clement-bonnet / lpn
  Latent Program Network (from the "Searching Latent Program Spaces" paper)
  ☆102Updated last month
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆137Updated 6 months ago
• facebookresearch / recur
  symbolic regression
  ☆40Updated 3 years ago
• google-deepmind / alphaevolve_repository_of_problems
  ☆66Updated this week
• harmonic-ai / IMO2025
  ☆52Updated 3 months ago
• etimush / ARC_NCA
  Repo for solving arc problems with an Neural Cellular Automata
  ☆21Updated 5 months ago
• flowersteam / SOAR
  Implementation of SOAR
  ☆43Updated last month
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆71Updated last year
• ExtensityAI / benchmark
  Evaluation of neuro-symbolic engines
  ☆39Updated last year
• Lagooon / LeanSTaR
  ☆42Updated last year
• rahul3613 / ProofNet-lean4
  ProofNet dataset ported into Lean 4
  ☆27Updated 5 months ago
• LiibanMo / scikit-jax
  Your favourite classical machine learning algos on the GPU/TPU
  ☆20Updated 10 months ago
• MilesCranmer / pysr_paper
  A paper describing the implementation of PySR and SymbolicRegression.jl
  ☆61Updated last year
• Some-random / theorem-proving-reasoning
  Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf
  ☆22Updated last year
• uzulim / hades
  Fast singularity detection with kernel
  ☆37Updated last year
• brantondemoss / GrokkingComplexity
  Code for
  ☆27Updated 10 months ago
• requeima / llm_processes
  ☆66Updated 7 months ago
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆105Updated last year