Grounding LLM mathematical reasoning with proof assistants.
☆64Jun 16, 2023Updated 3 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:
- ☆11Mar 7, 2026Updated 7 months ago
- Convert anything to anything using GPT3☆17Feb 14, 2023Updated 3 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- Formalizing stochastic doubly-efficient debate☆120Oct 8, 2024Updated 2 years ago
- Quantum programming DSL in Julia — functions are channels, type boundary is the quantum-classical boundary☆13Aug 14, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"☆14May 31, 2023Updated 3 years ago
- Verified Line-Addressed File Editor☆16Updated this week
- Script for processing OpenAI's PRM800K process supervision dataset into an Alpaca-style instruction-response format☆27Jul 12, 2023Updated 3 years ago
- Haskell Diagrams for Penrose Kite and Dart non-periodic tilings☆16Oct 22, 2026Updated last week
- A rust port of con-leche☆34Updated this week
- Neural networks trained in Bend 2: typed forward/backward layers, laws checked by the kernel, agreement with PyTorch☆18Updated this week
- ☆35Apr 8, 2023Updated 3 years ago
- the official chroma pickle wrapper☆20Apr 3, 2023Updated 3 years ago
- Neural MMO - A Massively Multiagent Environment for Artificial Intelligence Research☆15May 30, 2024Updated 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.
- Verification of Rust code in Lean 4☆12Apr 18, 2026Updated 6 months ago
- The best way to keep yourself on task with the help of LLMs☆25Mar 31, 2026Updated 6 months ago
- Ask Elon (417)-ASK-ELON, an Elon Musk AI you can call☆11Apr 23, 2023Updated 3 years ago
- a Lean wrapper for the MD4C Markdown parser☆13Jun 22, 2026Updated 4 months ago
- unconstrained optimization tools☆14Mar 21, 2013Updated 13 years ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- The Enzyme of reversible computation. LLVM-level compiler: any pure function → reversible circuit (NOT/CNOT/Toffoli gates).☆19Updated this week
- This is a project aimed at constructing gauge-invariant tensor networks for lattice gauge theory with a view to obtaining a continuous gr…☆27Jun 10, 2016Updated 10 years ago
- Optimizing bit-level Jaccard Index and Population Counts for large-scale quantized Vector Search via Harley-Seal CSA and Lookup Tables☆22May 18, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The next evolution of evolution.☆42Aug 19, 2026Updated 2 months ago
- package for exact edit similarity joins☆13Sep 30, 2026Updated 3 weeks ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆17Oct 11, 2026Updated 2 weeks ago
- The Road to Reality essay and newsletter source. A journey through computational physics, from eval/apply to the Einstein field equations…☆100Apr 19, 2025Updated last year
- ☆201Jan 23, 2023Updated 3 years ago
- Scratchpad/Chain-of-Thought Prompts☆12Jun 6, 2022Updated 4 years ago
- ☆13Jun 18, 2024Updated 2 years ago
- an overview of decentralized science events and meetups☆14Dec 11, 2023Updated 2 years ago
- Code that accompanies the PyData New York (2022) talk: Addressing the sensitivity of Large language models☆13Nov 7, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆119Dec 1, 2024Updated last year
- RAG Agent for the ARC AGI Challenge☆19Jul 1, 2024Updated 2 years ago
- A Lean formalization of the Classification of Finite Simple Groups☆136Updated this week
- ☆46Sep 21, 2024Updated 2 years ago
- Code repository for the c-BTM paper☆109Sep 26, 2023Updated 3 years ago
- Generative cellular automaton-like learning environments for RL.☆20Updated this week
- ☆13Updated this week