Interesting ATP Proofs
☆13Sep 3, 2021Updated 4 years ago
Alternatives and similar repositories for ATP_Proofs
Users that are interested in ATP_Proofs are comparing it to the libraries listed below
Sorting:
- An open bibliography of machine learning for formal proof papers☆32Sep 30, 2023Updated 2 years ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆39Mar 24, 2023Updated 2 years ago
- ☆22Jan 14, 2026Updated last month
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- Code for FormulaNet in NIPS 2017☆30Apr 10, 2018Updated 7 years ago
- The Lean Theorem Proving Environment☆14May 7, 2023Updated 2 years ago
- Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theo…☆18Feb 19, 2026Updated last week
- StarExec is a cross community logic solving service☆19Jun 1, 2025Updated 9 months ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆37Dec 18, 2025Updated 2 months ago
- NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)☆134Sep 8, 2022Updated 3 years ago
- Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"☆29May 8, 2025Updated 9 months ago
- ☆25Apr 21, 2021Updated 4 years ago
- ☆26Nov 1, 2021Updated 4 years ago
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- ☆26Feb 11, 2026Updated 3 weeks ago
- ☆33Oct 12, 2020Updated 5 years ago
- deep learning for math☆29May 4, 2019Updated 6 years ago
- Interactive neural theorem proving in Lean☆133Mar 24, 2022Updated 3 years ago
- Bonn Lean course for winter 24/25☆42Jan 8, 2026Updated last month
- Neural theorem proving tutorial, version II☆40Apr 26, 2024Updated last year
- A semidefinite programming solver for clustered low-rank SDPs☆14Updated this week
- The Framework for Optimization of Resources, Controls, and Economics is a collection of software tools, models, and datasets acquired and…☆11Jan 2, 2025Updated last year
- ☆12Feb 18, 2024Updated 2 years ago
- DragonBall Online Client Development (Base: KR 0.50)☆10Jul 31, 2017Updated 8 years ago
- Lean type-checker written in Scala.☆41Mar 13, 2022Updated 3 years ago
- Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025☆43Jan 18, 2026Updated last month
- Sources of the EuroProofNet web site.☆13Updated this week
- C++17 Wrapper for ScaLAPACK☆11Oct 5, 2023Updated 2 years ago
- A wrapper around sci-hub.se for downloading Research Papers.☆11Nov 21, 2020Updated 5 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Dec 12, 2022Updated 3 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- ☆13Jul 8, 2024Updated last year
- Back end for producing indicators and loading them into the COVIDcast API.☆12Updated this week
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago