jbrkr / Category_Theory_Natural_Language_Processing_NLP
List of papers and other resources at the intersection of Category Theory and NLP.
☆52Updated 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:
- Tutorial on neural theorem proving☆174Updated last year
- The Python toolkit for computing with string diagrams.☆16Updated 2 years ago
- List of resources for learning Category Theory☆255Updated 5 months ago
- Proof artifact co-training for Lean☆44Updated 2 years ago
- Interactive neural theorem proving in Lean☆122Updated 3 years ago
- Theory and Applications of Lenses and Optics☆54Updated 3 years ago
- Benchmark for undergraduate-level formal mathematics☆107Updated 7 months ago
- An interactive theorem prover for string diagrams☆115Updated 6 months ago
- An introduction to theorem proving in Lean for the impatient.☆188Updated 2 weeks ago
- Source code for the Mathematics in Lean tutorial.☆141Updated last week
- A formalized proof of Carleson's theorem in Lean☆53Updated this week
- An environment for learning formal mathematical reasoning from scratch☆67Updated 9 months ago
- Proof recording for Lean 3☆26Updated 3 years ago
- llmstep: [L]LM proofstep suggestions in Lean 4.☆133Updated last year
- LLMs + Lean, on your laptop or in the cloud☆149Updated last month
- Python talking to the Lean theorem prover☆44Updated 3 years ago
- Holophrasm: a neural Automated Theorem Prover for higher-order logic☆55Updated 5 years ago
- Catalog Of Math Problems Formalized In Lean☆154Updated this week
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- ☆185Updated 2 years ago
- Formalizing stochastic doubly-efficient debate☆104Updated 7 months ago
- ☆114Updated 10 months ago
- 💧 Liquid Tensor Experiment☆194Updated last year
- A simple REPL for Lean 4, returning information about errors and sorries.☆124Updated last week
- ☆42Updated 3 months ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆135Updated 2 weeks ago
- ☆49Updated 2 years ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆159Updated 2 weeks ago
- Categorical Logic Notes☆78Updated 3 years ago
- Very controlled natural language tactics for Lean☆63Updated last year