Alternatives and similar repositories for mlfmf-data

Users that are interested in mlfmf-data are comparing it to the libraries listed below

• fzyzcjy / ai_math_paper_list
  AI for Mathematics Paper List
  ☆17Updated 11 months ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆199Updated 3 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
  ☆24Updated last year
• cmu-l3 / ntp-toolkit
  Neural theorem proving toolkit: data extraction tools for Lean 4
  ☆34Updated 3 weeks ago
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 3 years ago
• jesse-michael-han / lean-tpe-public
  The Lean Theorem Proving Environment
  ☆14Updated 2 years ago
• Purewhite2019 / formal_problem_solving_main
  Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"
  ☆28Updated 8 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆116Updated last year
• trishullab / copra
  COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
  ☆69Updated last month
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆113Updated last year
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆40Updated last year
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• jbrkr / Category_Theory_Natural_Language_Processing_NLP
  List of papers and other resources at the intersection of Category Theory and NLP.
  ☆54Updated 2 years ago
• google / formal-ml
  ☆25Updated 4 years ago
• jesse-michael-han / lean-step-public
  Proof artifact co-training for Lean
  ☆44Updated 3 years ago
• firetto / Walnut
  ☆11Updated last year
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆57Updated 4 months ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆55Updated 3 weeks ago
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆39Updated 2 years ago
• seewoo5 / awesome-ai-for-math
  List of awesome works that use AI for mathematical discoveries.
  ☆24Updated this week
• Kripner / nanoproof
  Minimal open-source implementation of AlphaProof [WIP]
  ☆59Updated this week
• pitmonticone / LeanProject
  A template for blueprint-driven formalization projects in Lean.
  ☆83Updated this week
• wellecks / llmstep
  llmstep: [L]LM proofstep suggestions in Lean 4.
  ☆145Updated 2 years ago
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆30Updated last year
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆56Updated 3 years ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆75Updated 11 months ago
• loganrjmurphy / LeanEuclid
  LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
  ☆119Updated last month
• mattecapu / categorical-systems-theory
  ☆44Updated 8 months ago
• arquicanedo / graph2sheaves
  Sheaves library for graph abstractions based on NetworkX
  ☆14Updated 6 years ago
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆30Updated last year