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
- List of resources for learning Category Theory☆224Updated last year
- The Python toolkit for computing with string diagrams.☆349Updated this week
- Tutorial on neural theorem proving☆155Updated 10 months ago
- llmstep: [L]LM proofstep suggestions in Lean 4.☆119Updated last year
- Benchmark for undergraduate-level formal mathematics☆93Updated 3 weeks ago
- An introduction to theorem proving in Lean for the impatient.☆106Updated this week
- a categorical deep learning compiler☆108Updated 6 months ago
- Catalog Of Math Problems Formalized In Lean☆111Updated this week
- Interactive neural theorem proving in Lean☆117Updated 2 years ago
- An interactive theorem prover for string diagrams☆108Updated 2 weeks ago
- Formalizing stochastic doubly-efficient debate☆92Updated last month
- IMO Grand Challenge for Artificial Intelligence☆44Updated 2 years ago
- The Python toolkit for computing with string diagrams.☆14Updated last year
- Theory and Applications of Lenses and Optics☆53Updated 2 years ago
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆57Updated this week
- Proof artifact co-training for Lean☆42Updated last year
- plasTeX plugin to build formalization blueprints.☆168Updated 2 weeks ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆77Updated this week
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆76Updated 5 months ago
- A formalized proof of Carleson's theorem in Lean☆27Updated this week
- A scalable abstraction learning library☆74Updated 11 months ago
- Proof recording for Lean 3☆25Updated 3 years ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆121Updated 3 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆204Updated this week
- LLMs + Lean, on your laptop or in the cloud☆122Updated 2 weeks ago
- Lean mathzoo☆24Updated 2 years ago
- An environment for learning formal mathematical reasoning from scratch☆52Updated 2 months ago
- ☆109Updated 3 months ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆17Updated 2 weeks ago
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆45Updated last week