chanind / tensor-theorem-proverLinks
First-order logic theorem prover supporting unification with approximate vector similarity
☆12Updated 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:
- How to read Lean☆19Updated 7 months ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- Pedagogical first-order prover in Python☆76Updated 3 months ago
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year
- AI for Mathematics Paper List☆17Updated 8 months ago
- Bonn Lean course for winter 24/25☆36Updated 2 weeks ago
- Source of metamath book☆50Updated last year
- Interfacing with Large Language Models (remote and local) from Lean.☆27Updated last year
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated last month
- Metamath verifier in Python☆40Updated 3 months ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆37Updated last year
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆25Updated last week
- Formalizing stochastic doubly-efficient debate☆108Updated 11 months ago
- ☆25Updated 4 years ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆28Updated 2 years ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆22Updated last year
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- LLMs + Lean, on your laptop or in the cloud☆177Updated 2 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆70Updated 8 months ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆31Updated last year
- egraphs-good website☆18Updated 11 months ago
- Readings on computational logic, interactive theorem proving and functional programming.☆80Updated this week
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆66Updated 4 months ago
- ☆43Updated last month
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated last week
- llmstep: [L]LM proofstep suggestions in Lean 4.☆143Updated last year
- Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theo…☆17Updated 4 months ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆29Updated this week