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 2 months ago
• harmonic-ai / datasets
  Harmonic Datasets
  ☆37Updated 8 months ago
• rahul3613 / ProofNet-lean4
  ProofNet dataset ported into Lean 4
  ☆19Updated 10 months ago
• lean-dojo / LeanAgent
  ☆23Updated last month
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆104Updated 5 months ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆34Updated 11 months ago
• facebookresearch / recur
  symbolic regression
  ☆39Updated 2 years ago
• GasStationManager / LeanTool
  A "code intepreter" for Lean
  ☆19Updated 3 weeks ago
• FusionBrainLab / LLM-Microscope
  ☆71Updated 7 months ago
• uzulim / hades
  Fast singularity detection with kernel
  ☆33Updated last year
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆139Updated 5 months ago
• albertqjiang / MMA
  The official repository for the paper Multilingual Mathematical Autoformalization
  ☆34Updated 10 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆59Updated 2 months ago
• joey00072 / microjax
  Jax like function transformation engine but micro, microjax
  ☆30Updated 5 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆100Updated 5 months ago
• yeahrmek / pylean
  Python wrapper for lean-gym
  ☆11Updated last year
• jesse-michael-han / lean-step-public
  Proof artifact co-training for Lean
  ☆44Updated 2 years ago
• jesse-michael-han / lean-tpe-public
  The Lean Theorem Proving Environment
  ☆13Updated last year
• fzyzcjy / ai_math_paper_list
  AI for Mathematics Paper List
  ☆15Updated 2 months ago
• AdaptiveSubgoalSearch / adaptive_subs
  Adaptive Subgoal Search
  ☆19Updated last year
• borjanG / 2023-transformers-rotf
  Codes for the paper "A mathematical perspective on Transformers".
  ☆36Updated 8 months ago
• Lizn-zn / NeqLIPS
  NeqLIPS: a powerful Olympiad-level inequality prover
  ☆26Updated last week
• dylandoblar / noether-networks
  Meta-learning inductive biases in the form of useful conserved quantities.
  ☆37Updated 2 years ago
• danielmamay / grokking
  Implementation of OpenAI's 'Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets' paper.
  ☆35Updated last year
• AllanYangZhou / universal_neural_functional
  ☆49Updated last year
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆60Updated 8 months ago
• srush / Tensor-Puzzles-Penzai
  ☆20Updated 11 months ago
• Some-random / theorem-proving-reasoning
  Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf
  ☆22Updated 10 months ago
• jasonrute / thoughts-on-ai-for-theorem-proving
  ☆27Updated 3 years ago
• wattenberg / superposition
  Code associated to papers on superposition (in ML interpretability)
  ☆28Updated 2 years ago