jbrkr / Category_Theory_Natural_Language_Processing_NLPLinks
List of papers and other resources at the intersection of Category Theory and NLP.
☆54Updated 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☆274Updated last year
- The Python toolkit for computing with string diagrams.☆400Updated last week
- Interactive neural theorem proving in Lean☆131Updated 3 years ago
- Tutorial on neural theorem proving☆177Updated 2 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆326Updated last year
- llmstep: [L]LM proofstep suggestions in Lean 4.☆145Updated 2 years ago
- An introduction to theorem proving in Lean for the impatient.☆314Updated 3 weeks ago
- IMO Grand Challenge for Artificial Intelligence☆47Updated 3 years ago
- Benchmark for undergraduate-level formal mathematics☆113Updated last year
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆202Updated 2 weeks ago
- Proof artifact co-training for Lean☆44Updated 3 years ago
- Course notes for Formalising Mathematics 2025☆79Updated 2 weeks ago
- Blueprint for the PNT+ Project☆218Updated this week
- The matrix cookbook, proved in the Lean theorem prover☆125Updated 3 months ago
- An interactive theorem prover for string diagrams☆124Updated last year
- plasTeX plugin to build formalization blueprints.☆284Updated 2 weeks ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆161Updated last year
- Formalizing stochastic doubly-efficient debate☆115Updated last year
- The Python toolkit for computing with string diagrams.☆17Updated 3 years ago
- 💧 Liquid Tensor Experiment☆217Updated last year
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year
- Source code for the Mathematics in Lean tutorial.☆177Updated 4 months ago
- Scientific computing in Lean 4☆451Updated 6 months ago
- LLMs + Lean, on your laptop or in the cloud☆199Updated 2 months ago
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆242Updated 9 months ago
- SorryDB indexes sorries in public lean repositories☆40Updated last week
- A template for blueprint-driven formalization projects in Lean.☆83Updated 3 weeks ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆177Updated 3 weeks ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year