jbrkr / Category_Theory_Natural_Language_Processing_NLP
List of papers and other resources at the intersection of Category Theory and NLP.
☆49Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Category_Theory_Natural_Language_Processing_NLP
- The Python toolkit for computing with string diagrams.☆14Updated last year
- List of resources for learning Category Theory☆225Updated last year
- The Python toolkit for computing with string diagrams.☆351Updated last week
- Benchmark for undergraduate-level formal mathematics☆94Updated last month
- a categorical deep learning compiler☆108Updated 6 months ago
- An interactive theorem prover for string diagrams☆108Updated 3 weeks ago
- Interactive neural theorem proving in Lean☆118Updated 2 years ago
- Tutorial on neural theorem proving☆157Updated 10 months ago
- llmstep: [L]LM proofstep suggestions in Lean 4.☆119Updated last year
- Proof artifact co-training for Lean☆42Updated last year
- An introduction to theorem proving in Lean for the impatient.☆110Updated last week
- IMO Grand Challenge for Artificial Intelligence☆44Updated 2 years ago
- Lean 4 tutorial files☆30Updated 6 months ago
- Catalog Of Math Problems Formalized In Lean☆112Updated this week
- ☆176Updated last year
- Theory and Applications of Lenses and Optics☆53Updated 2 years ago
- Source code for the Mathematics in Lean tutorial.☆91Updated last week
- 💧 Liquid Tensor Experiment☆181Updated 9 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆205Updated 2 weeks ago
- LLMs + Lean, on your laptop or in the cloud☆125Updated 3 weeks ago
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆61Updated this week
- Formalizing stochastic doubly-efficient debate☆92Updated last month
- A simple REPL for Lean 4, returning information about errors and sorries.☆80Updated 2 weeks ago
- ☆49Updated 2 years ago
- Lean mathzoo☆24Updated 2 years ago
- Proof recording for Lean 3☆25Updated 3 years ago
- Python talking to the Lean theorem prover☆41Updated 3 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated 8 months ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆136Updated this week
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆128Updated 3 months ago