chanind / tensor-theorem-proverLinks
First-order logic theorem prover supporting unification with approximate vector similarity
☆13Updated 2 years ago
Alternatives and similar repositories for tensor-theorem-prover
Users that are interested in tensor-theorem-prover are comparing it to the libraries listed below
Sorting:
- program synthesis with neuro-symbolic differentiable interpreters☆17Updated 4 months ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Updated 2 weeks ago
- How to read Lean☆22Updated last year
- Bonn Lean course for winter 24/25☆40Updated last month
- Pedagogical first-order prover in Python☆80Updated 8 months ago
- Interfacing with Large Language Models (remote and local) from Lean.☆28Updated last year
- A gentle introduction to Isabelle and Isabelle/HOL☆17Updated 10 months ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 4 years ago
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆69Updated 2 weeks ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Updated 3 years ago
- ☆44Updated 3 weeks ago
- llmstep: [L]LM proofstep suggestions in Lean 4.☆145Updated 2 years ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆36Updated last month
- A formal consistency proof of Quine's set theory New Foundations☆79Updated 7 months ago
- Readings on computational logic, interactive theorem proving and functional programming.☆86Updated this week
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Updated 6 years ago
- The Next Generation of Compositional Programming☆56Updated 2 weeks ago
- Formalisation of the Kelley-Meka bound on Roth numbers☆21Updated last week
- ☆20Updated 3 years ago
- Reversible programming in Agda☆13Updated 2 years ago
- LLVM support for the lean theorem prover☆53Updated 4 years ago
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year
- Demo for dependent types + runtime code generation☆72Updated 11 months ago
- Metamath verifier in Python☆41Updated 8 months ago
- Very controlled natural language tactics for Lean☆66Updated 2 years ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆25Updated 2 weeks ago
- DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …☆50Updated last year
- A Lean 4 package for heavy numerical computations☆19Updated 4 years ago
- ☆44Updated 3 months ago