jbrkr / Category_Theory_Natural_Language_Processing_NLPLinks
List of papers and other resources at the intersection of Category Theory and NLP.
☆53Updated 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☆258Updated 7 months ago
- The Python toolkit for computing with string diagrams.☆17Updated 2 years ago
- The Python toolkit for computing with string diagrams.☆379Updated 3 weeks ago
- llmstep: [L]LM proofstep suggestions in Lean 4.☆136Updated last year
- Tutorial on neural theorem proving☆174Updated last year
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- Benchmark for undergraduate-level formal mathematics☆107Updated 8 months ago
- Proof artifact co-training for Lean☆45Updated 2 years ago
- ☆49Updated 2 years ago
- Theory and Applications of Lenses and Optics☆54Updated 3 years ago
- Interactive neural theorem proving in Lean☆123Updated 3 years ago
- An interactive theorem prover for string diagrams☆118Updated 8 months ago
- An introduction to theorem proving in Lean for the impatient.☆210Updated last month
- ☆42Updated 5 months ago
- A "code intepreter" for Lean☆52Updated this week
- Neural theorem proving toolkit: data extraction tools for Lean 4☆27Updated last week
- SorryDB indexes sorries in public lean repositories☆22Updated this week
- An environment for learning formal mathematical reasoning from scratch☆70Updated 10 months ago
- LLMs + Lean, on your laptop or in the cloud☆164Updated last week
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆84Updated 3 months ago
- Proof recording for Lean 3☆27Updated 3 years ago
- An attempt to formalize every problem in Baby Rudin with natural language descripiton☆17Updated 4 months ago
- Formalizing stochastic doubly-efficient debate☆107Updated 8 months ago
- Python talking to the Lean theorem prover☆44Updated 3 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆132Updated 3 weeks ago
- Logic and Mechanized Reasoning☆104Updated 4 months ago
- The matrix cookbook, proved in the Lean theorem prover☆110Updated 3 weeks ago
- A scalable abstraction learning library☆80Updated this week
- Exponent pair database☆57Updated last week
- 💧 Liquid Tensor Experiment☆199Updated last year