okarthikb / WikiGPT
81M parameter custom GPT
☆8Updated last year
Related projects ⓘ
Alternatives and complementary repositories for WikiGPT
- llmstep: [L]LM proofstep suggestions in Lean 4.☆119Updated last year
- Benchmark for undergraduate-level formal mathematics☆94Updated last month
- Tutorial on neural theorem proving☆157Updated 10 months ago
- a categorical deep learning compiler☆108Updated 6 months ago
- LLMs + Lean, on your laptop or in the cloud☆125Updated last month
- seqax = sequence modeling + JAX☆134Updated 4 months ago
- Retrieval-Augmented Theorem Provers for Lean☆229Updated 2 months ago
- Tensor library with autograd using only Rust's standard library☆62Updated 4 months ago
- ☆34Updated last week
- Grounding LLM mathematical reasoning with proof assistants.☆60Updated last year
- ChatGPT plugin for theorem proving in Lean☆112Updated 7 months ago
- List of papers and other resources at the intersection of Category Theory and NLP.☆49Updated last year
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆67Updated 5 months ago
- An environment for learning formal mathematical reasoning from scratch☆53Updated 3 months ago
- Formalizing stochastic doubly-efficient debate☆93Updated last month
- Simple Transformer in Jax☆119Updated 5 months ago
- Tutorials on tinygrad☆183Updated last week
- A package for defining deep learning models using categorical algebraic expressions.☆57Updated 3 months ago
- Interactive neural theorem proving in Lean☆118Updated 2 years ago
- Harmonic Datasets☆32Updated 4 months ago
- ☆61Updated last year
- An introduction to theorem proving in Lean for the impatient.☆112Updated last week
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆63Updated this week
- LLM verified with Monte Carlo Tree Search☆251Updated 2 months ago
- ☆40Updated last month
- The matrix cookbook, proved in the Lean theorem prover☆84Updated this week
- blueprint for prime number theorem and more☆136Updated last week
- ☆198Updated 4 months ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆138Updated this week
- A minimal Tensor Processing Unit (TPU) inspired by Google's TPUv1.☆118Updated 3 months ago