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:
- seqax = sequence modeling + JAX☆155Updated last month
- llmstep: [L]LM proofstep suggestions in Lean 4.☆134Updated last year
- Benchmark for undergraduate-level formal mathematics☆107Updated 7 months ago
- Tutorial on neural theorem proving☆174Updated last year
- Formalizing stochastic doubly-efficient debate☆105Updated 7 months ago
- a categorical deep learning compiler☆202Updated 3 months ago
- Harmonic Datasets☆40Updated 10 months ago
- Retrieval-Augmented Theorem Provers for Lean☆272Updated 4 months ago
- Simple Transformer in Jax☆137Updated 11 months ago
- LLM verified with Monte Carlo Tree Search☆275Updated 2 months ago
- A collection of formalized statements of conjectures in Lean.☆456Updated this week
- Grounding LLM mathematical reasoning with proof assistants.☆62Updated last year
- ☆63Updated 2 years ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆64Updated 4 months ago
- Interactive neural theorem proving in Lean☆122Updated 3 years ago
- It's a baby compiler. (Lean btw.)☆16Updated 2 weeks ago
- Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.☆54Updated 3 years ago
- An environment for learning formal mathematical reasoning from scratch☆67Updated 9 months ago
- Tensor library with autograd using only Rust's standard library☆68Updated 11 months ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆23Updated last year
- blueprint for prime number theorem and more☆165Updated this week
- ☆87Updated last year
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆84Updated 5 months ago
- LLMs + Lean, on your laptop or in the cloud☆155Updated 2 months ago
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆100Updated last month
- A simple REPL for Lean 4, returning information about errors and sorries.☆128Updated last month
- (Mirror) A Machine-to-Machine Interaction System for Lean 4☆22Updated last month
- ChatGPT plugin for theorem proving in Lean☆120Updated last year
- train with kittens!☆57Updated 7 months ago
- An introduction to theorem proving in Lean for the impatient.☆201Updated 2 weeks ago