jbrkr / Category_Theory_Natural_Language_Processing_NLPLinks
List of papers and other resources at the intersection of Category Theory and NLP.
☆55Updated 2 years ago
Alternatives and similar repositories for Category_Theory_Natural_Language_Processing_NLP
Users that are interested in Category_Theory_Natural_Language_Processing_NLP are comparing it to the libraries listed below
Sorting:
- List of resources for learning Category Theory☆265Updated 8 months ago
- Interactive neural theorem proving in Lean☆123Updated 3 years ago
- An interactive theorem prover for string diagrams☆119Updated 9 months ago
- The Python toolkit for computing with string diagrams.☆381Updated 2 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆275Updated 7 months ago
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- An introduction to theorem proving in Lean for the impatient.☆227Updated last week
- Source code for the Mathematics in Lean tutorial.☆163Updated 3 weeks ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆181Updated last week
- plasTeX plugin to build formalization blueprints.☆228Updated last month
- Benchmark for undergraduate-level formal mathematics☆108Updated 9 months ago
- llmstep: [L]LM proofstep suggestions in Lean 4.☆139Updated last year
- blueprint for prime number theorem and more☆176Updated last week
- Proof artifact co-training for Lean☆45Updated 2 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 last year
- Tutorial on neural theorem proving☆174Updated last year
- ☆43Updated 2 weeks ago
- ☆117Updated last year
- Formalizing stochastic doubly-efficient debate☆107Updated 10 months ago
- The matrix cookbook, proved in the Lean theorem prover☆115Updated this week
- Lean documentation authoring tool☆201Updated this week
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆161Updated last year
- Haskell implementation of open games☆172Updated 6 months ago
- Python talking to the Lean theorem prover☆45Updated 3 years ago
- a categorical deep learning compiler☆203Updated 5 months ago
- Source code for the nLab☆180Updated 4 months ago
- LLMs + Lean, on your laptop or in the cloud☆175Updated 3 weeks ago
- Accelerated machine learning with dependent types☆97Updated this week
- Theorem Proving in Lean 4☆201Updated last week