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 4 months ago
• facebookresearch / recur
  symbolic regression
  ☆39Updated 2 years ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆36Updated last year
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆107Updated 7 months ago
• AdaptiveSubgoalSearch / adaptive_subs
  Adaptive Subgoal Search
  ☆19Updated 2 years ago
• uzulim / hades
  Fast singularity detection with kernel
  ☆33Updated last year
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆74Updated 10 months ago
• Purewhite2019 / formal_problem_solving_main
  Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"
  ☆20Updated 3 weeks ago
• leonard-gleyzer / connex
  Fine-grained, dynamic control of neural network topology in JAX.
  ☆21Updated last year
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆60Updated 10 months ago
• MilesCranmer / pysr_scaling_laws
  You should use PySR to find scaling laws. Here's an example.
  ☆33Updated last year
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆155Updated 2 months ago
• etimush / ARC_NCA
  Repo for solving arc problems with an Neural Cellular Automata
  ☆15Updated 2 weeks ago
• LiibanMo / scikit-jax
  Your favourite classical machine learning algos on the GPU/TPU
  ☆20Updated 5 months ago
• Silent-Zebra / twisted-smc-lm
  ☆29Updated 2 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…
  ☆26Updated last month
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆105Updated 7 months ago
• harmonic-ai / datasets
  Harmonic Datasets
  ☆40Updated 10 months ago
• Sea-Snell / grokking
  unofficial re-implementation of "Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets"
  ☆78Updated 2 years ago
• dylandoblar / noether-networks
  Meta-learning inductive biases in the form of useful conserved quantities.
  ☆37Updated 2 years ago
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆106Updated this week
• yeahrmek / pylean
  Python wrapper for lean-gym
  ☆11Updated 2 years ago
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago
• google-deepmind / eigengame
  Open source code for EigenGame.
  ☆30Updated 2 years ago
• pyt-team / tdlbook
  ☆32Updated 10 months ago
• clement-bonnet / lpn
  Latent Program Network (from the "Searching Latent Program Spaces" paper)
  ☆86Updated 2 months ago
• jesse-michael-han / lean-step-public
  Proof artifact co-training for Lean
  ☆45Updated 2 years ago
• wattenberg / superposition
  Code associated to papers on superposition (in ML interpretability)
  ☆28Updated 2 years ago
• Lizn-zn / NeqLIPS
  NeqLIPS: a powerful Olympiad-level inequality prover
  ☆34Updated last month
• cmu-l3 / ntp-toolkit
  Neural theorem proving toolkit: data extraction tools for Lean 4
  ☆26Updated this week