☆20Dec 3, 2025Updated 2 months ago
Alternatives and similar repositories for proofs
Users that are interested in proofs are comparing it to the libraries listed below
Sorting:
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆41Sep 22, 2025Updated 5 months ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆34Jan 26, 2026Updated last month
- ☆19Jan 20, 2025Updated last year
- Central limit theorem in Lean☆15Dec 27, 2025Updated 2 months ago
- List of awesome works that use AI for mathematical discoveries.☆30Feb 15, 2026Updated last week
- ☆57Dec 1, 2025Updated 2 months ago
- Neural theorem proving evaluation via the Lean REPL☆23Jul 12, 2025Updated 7 months ago
- SorryDB indexes sorries in public lean repositories☆42Feb 12, 2026Updated 2 weeks ago
- ImProver: Agent-Based Automated Proof Optimization☆40Jan 18, 2026Updated last month
- Beginner's guide to Tactic Programming in Lean☆67Aug 29, 2025Updated 5 months ago
- the datasets of our paper☆11Feb 26, 2024Updated 2 years ago
- ☆29Jan 15, 2026Updated last month
- ☆10Feb 22, 2024Updated 2 years ago
- A profiling tool to peek and profile the memory or cpu usage of a process☆12Jan 20, 2024Updated 2 years ago
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 6 months ago
- ☆26Updated this week
- Machine learning for molecules workshop 2022☆13Nov 30, 2022Updated 3 years ago
- Tools based on AI for helping with Lean 4☆114Updated this week
- LLMs + Lean, on your laptop or in the cloud☆202Oct 10, 2025Updated 4 months ago
- A static analysis tool for Lean 4.☆114Updated this week
- LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines …☆77Feb 19, 2026Updated last week
- A Neural Two-Stage Approach for Recognizing Discontiguous Entities (EMNLP 2019)☆11Aug 27, 2019Updated 6 years ago
- A comprehensive gas report comparing all four versions of Uniswap, a popular decentralized exchange protocol.☆11Jun 16, 2023Updated 2 years ago
- simplify the prediction process for a finetuned bert model☆11Jun 19, 2019Updated 6 years ago
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆34Updated this week
- Struct-aware fuzzing framework + some fuzzers☆30Jan 28, 2026Updated 3 weeks ago
- Manage objects inside a cdn☆19Feb 1, 2026Updated 3 weeks ago
- A Pub/Sub library for Rust backed by Postgres☆17Oct 3, 2023Updated 2 years ago
- ☆11May 4, 2024Updated last year
- Allora Base for worker/reputer nodes - DEPRECATED☆11Feb 19, 2026Updated last week
- LLM evaluation for Macedonian language.☆12Jul 6, 2025Updated 7 months ago
- Internal utility libraries for Pkl☆15Feb 4, 2026Updated 3 weeks ago
- Solving Competition Geometry Problems in Lean☆30Aug 26, 2025Updated 6 months ago
- ☆13May 10, 2025Updated 9 months ago
- Interactive React-powered charting library for Lean 4 in VS Code's infoview☆15Jan 5, 2026Updated last month
- HyPe: Better Pre-trained Language Model Fine-tuning with Hidden Representation Perturbation [ACL 2023]☆14Jul 11, 2023Updated 2 years ago
- A python tool to examine datasets for consistency. Performs approximately 150 tests. For EDA (Exploratory Data Analysis) and interpretabl…☆10Apr 4, 2024Updated last year
- Self Evolving Large Multimodal Models with Continuous Rewards☆19Nov 21, 2025Updated 3 months ago
- An MCP-based agent to route pr reviews to coding agents☆15Sep 18, 2025Updated 5 months ago