google-deepmind / debateLinks
Formalizing stochastic doubly-efficient debate
☆107Updated 10 months ago
Alternatives and similar repositories for debate
Users that are interested in debate are comparing it to the libraries listed below
Sorting:
- Benchmark for undergraduate-level formal mathematics☆108Updated 9 months ago
- Python talking to the Lean theorem prover☆45Updated 3 years ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆69Updated 6 months ago
- The matrix cookbook, proved in the Lean theorem prover☆115Updated this week
- Proof artifact co-training for Lean☆45Updated 2 years ago
- LLMs + Lean, on your laptop or in the cloud☆175Updated 3 weeks ago
- ☆21Updated last year
- Interactive neural theorem proving in Lean☆123Updated 3 years ago
- Lean documentation authoring tool☆201Updated this week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆181Updated last week
- A "code intepreter" for Lean☆69Updated last week
- ☆92Updated last year
- llmstep: [L]LM proofstep suggestions in Lean 4.☆139Updated last year
- Python client to interact with the lean4 language server.☆22Updated 3 weeks ago
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆72Updated this week
- Neural theorem proving toolkit: data extraction tools for Lean 4☆28Updated last week
- Very controlled natural language tactics for Lean☆64Updated last year
- LeanInteract: A Python Interface for Lean 4☆45Updated last week
- blueprint for prime number theorem and more☆176Updated last week
- Lean Theorem Prover MCP☆93Updated last week
- SorryDB indexes sorries in public lean repositories☆27Updated last week
- A search engine for Lean 4 declarations☆29Updated 3 weeks ago
- Bonn Lean course for winter 24/25☆33Updated this week
- A Machine-to-Machine Interaction System for Lean 4.☆105Updated this week
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆103Updated 3 months ago
- ☆27Updated 3 years ago
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆90Updated 7 months ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆149Updated 2 weeks ago
- Formalizing results about the Mandelbrot set in Lean☆21Updated this week
- A simple REPL for Lean 4, returning information about errors and sorries.☆11Updated 2 years ago