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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 11 months ago
- Tracks the Rerun open source work☆11Oct 3, 2022Updated 3 years ago
- Formalizing stochastic doubly-efficient debate☆118Oct 8, 2024Updated last year
- RWKV model implementation☆37Jul 15, 2023Updated 2 years ago
- Rust remote log viewer experiment☆14Feb 23, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- 🐦 Swift framework for advertising an iOS device as an iBeacon and monitoring/ranging other iBeacons☆10Feb 5, 2018Updated 8 years ago
- Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"☆14May 31, 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
- ☆35Apr 8, 2023Updated 2 years 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 10 months ago
- ☆43Jul 24, 2024Updated last year
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- Neural MMO - A Massively Multiagent Environment for Artificial Intelligence Research☆15May 30, 2024Updated last year
- ☆25Mar 19, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- AIFAD - Automated Induction of Functions over Algebraic Data Types☆30Dec 20, 2025Updated 3 months ago
- 🐤The next evolution of evolution.☆41May 26, 2025Updated 10 months ago
- The best way to keep yourself on task with the help of LLMs☆24Oct 14, 2025Updated 5 months ago
- ☆201Jan 23, 2023Updated 3 years ago
- an overview of decentralized science events and meetups☆15Dec 11, 2023Updated 2 years ago
- ➿A rerun plugin and tools for 3D animation☆28Nov 6, 2024Updated last year
- Generative cellular automaton-like learning environments for RL.☆20Jan 30, 2025Updated last year
- Synthetic Hypertext and Homomorphic Catalogue☆15Dec 28, 2024Updated last year
- ☆19May 6, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Code repository for the c-BTM paper☆108Sep 26, 2023Updated 2 years ago
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- LLM verified with Monte Carlo Tree Search☆289Mar 31, 2025Updated 11 months ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆25Mar 3, 2026Updated 3 weeks ago
- QueryGod lets you interact with any API or database using natural language. Writing simple prompts you can chain together the execution o…☆15Dec 11, 2022Updated 3 years ago
- A simple AI agent controlling a simulation of a smart home☆13Jun 13, 2024Updated last year
- Read, write and manipulate code which reads, writes and manipulates code.☆10Mar 15, 2020Updated 6 years ago
- RAG Agent for the ARC AGI Challenge☆20Jul 1, 2024Updated last year
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Code that accompanies the PyData New York (2022) talk: Addressing the sensitivity of Large language models☆13Nov 7, 2022Updated 3 years ago
- A minimal proof checker.☆80Sep 9, 2024Updated last year
- ☆16Jul 3, 2023Updated 2 years ago
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 2 years ago
- Code for my blog☆11Feb 26, 2017Updated 9 years ago
- ☆115Dec 1, 2024Updated last year
- XML / HTML / XHTML markup language generator for Hy☆10Aug 4, 2017Updated 8 years ago