okarthikb / WikiGPTLinks
81M parameter custom GPT
☆8Updated last year
Alternatives and similar repositories for WikiGPT
Users that are interested in WikiGPT are comparing it to the libraries listed below
Sorting:
- Simple Transformer in Jax☆137Updated last year
- llmstep: [L]LM proofstep suggestions in Lean 4.☆137Updated last year
- Tutorial on neural theorem proving☆174Updated last year
- a categorical deep learning compiler☆202Updated 4 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆64Updated 5 months ago
- Formalizing stochastic doubly-efficient debate☆107Updated 8 months ago
- Benchmark for undergraduate-level formal mathematics☆108Updated 8 months ago
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- LLM verified with Monte Carlo Tree Search☆276Updated 2 months ago
- LLMs + Lean, on your laptop or in the cloud☆164Updated 2 weeks ago
- Interactive neural theorem proving in Lean☆123Updated 3 years ago
- ☆97Updated 6 months ago
- Harmonic Datasets☆40Updated 11 months ago
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated 11 months ago
- HyperTree Proof Search for Neural Theorem Proving -- "La science est l'œuvre de l'esprit humain, qui est plutôt destiné à étudier qu'à co…☆38Updated 10 months ago
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆84Updated 5 months ago
- ☆188Updated 2 years ago
- ☆91Updated last year
- seqax = sequence modeling + JAX☆162Updated 2 weeks ago
- An introduction to theorem proving in Lean for the impatient.☆210Updated last month
- blueprint for prime number theorem and more☆169Updated this week
- A Machine-to-Machine Interaction System for Lean 4.☆102Updated this week
- Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.☆56Updated 3 years ago
- An environment for learning formal mathematical reasoning from scratch☆70Updated 10 months ago
- A collection of formalized statements of conjectures in Lean.☆532Updated this week
- A simple REPL for Lean 4, returning information about errors and sorries.☆132Updated 3 weeks ago
- The matrix cookbook, proved in the Lean theorem prover☆110Updated 3 weeks ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆24Updated last year
- ChatGPT plugin for theorem proving in Lean☆121Updated last year
- A scalable abstraction learning library☆80Updated this week