Grounding LLM mathematical reasoning with proof assistants.
☆64Jun 16, 2023Updated 2 years ago
Alternatives and similar repositories for math-llm
Users that are interested in math-llm are comparing it to the libraries listed below
Sorting:
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 11 months ago
- Formalizing stochastic doubly-efficient debate☆118Oct 8, 2024Updated last year
- 🐦 Swift framework for advertising an iOS device as an iBeacon and monitoring/ranging other iBeacons☆10Feb 5, 2018Updated 8 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- Script for processing OpenAI's PRM800K process supervision dataset into an Alpaca-style instruction-response format☆27Jul 12, 2023Updated 2 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 18, 2026Updated 2 weeks ago
- Superposition prover☆17Feb 16, 2023Updated 3 years ago
- Code that accompanies the PyData New York (2022) talk: Addressing the sensitivity of Large language models☆13Nov 7, 2022Updated 3 years ago
- Neural MMO - A Massively Multiagent Environment for Artificial Intelligence Research☆15May 30, 2024Updated last year
- an overview of decentralized science events and meetups☆15Dec 11, 2023Updated 2 years ago
- An MCP-enabled Qwen3 0.6B demo with adjustable thinking budget, all in your browser!☆29Jun 2, 2025Updated 9 months ago
- ☆15Jun 13, 2023Updated 2 years ago
- quick gradio chat interface for Anthropic AI's API for Claude, including 100k☆12Jan 2, 2024Updated 2 years ago
- Code repository for the c-BTM paper☆108Sep 26, 2023Updated 2 years ago
- Artificial Cognitive Entity public experiment - inner loop☆10Jul 9, 2022Updated 3 years ago
- ☆16Jul 3, 2023Updated 2 years ago
- Formalization of Gröbner basis theory in Lean4 (WIP)☆31Updated this week
- Documenting common pitfalls and footguns in Lean☆37Aug 26, 2025Updated 6 months ago
- Example formalization of Game Theoretic concepts in Lean☆26Feb 14, 2025Updated last year
- The project proposal template for OpenBioML community projects.☆18Feb 9, 2023Updated 3 years ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆37Dec 18, 2025Updated 2 months ago
- Developer showcase of projects built on Cartesia☆20Aug 28, 2024Updated last year
- Evaluation Metrics Used For The Performance Evaluation of Voice Conversion (VC) Models☆19Jul 8, 2025Updated 8 months ago
- Optimizing bit-level Jaccard Index and Population Counts for large-scale quantized Vector Search via Harley-Seal CSA and Lookup Tables☆21May 18, 2025Updated 9 months ago
- Generative cellular automaton-like learning environments for RL.☆20Jan 30, 2025Updated last year
- A minimal proof checker.☆80Sep 9, 2024Updated last year
- ☆19May 6, 2023Updated 2 years ago
- ☆25Apr 21, 2021Updated 4 years ago
- ☆19Aug 15, 2024Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆330Dec 9, 2024Updated last year
- A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.☆55Dec 29, 2025Updated 2 months ago
- Tiny Semantic Versioning (SemVer) library with LLMs and GitHub CI, that doesn't depend on 300K lines of JavaScript code and fits in a sin…☆27Oct 14, 2025Updated 4 months ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆25Updated this week
- Find out why your CoreML model isn't running on the Neural Engine!☆30Jun 18, 2024Updated last year
- Code Release for "Broken Neural Scaling Laws" (BNSL) paper☆59Oct 29, 2023Updated 2 years ago
- MLX Swift implementation of Andrej Karpathy's Let's build GPT video☆63Apr 14, 2024Updated last year
- Hosting the JSON for the GPT4 Tokenizer☆63Apr 6, 2023Updated 2 years ago
- A formalization of the Rubik's cube group☆28Oct 1, 2020Updated 5 years ago