aashishsatya / Automatic-Theorem-ProverLinks
A Python program that tries to prove a statement given a set of propositions in first order logic.
☆10Updated 10 years ago
Alternatives and similar repositories for Automatic-Theorem-Prover
Users that are interested in Automatic-Theorem-Prover are comparing it to the libraries listed below
Sorting:
- An intelligent agent that adaptively changes its thought processes to maximize cumulative reward☆12Updated 8 years ago
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- Incremental Learning Event Definitions☆14Updated 10 years ago
- ACT community resources☆21Updated 6 years ago
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- A system for computational category theory and applications☆40Updated 9 years ago
- An agent library for systems of nested automata.☆43Updated 8 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆119Updated 2 months ago
- RASP-L in Haskell for my fellow rascals☆19Updated last year
- Holophrasm: a neural Automated Theorem Prover for higher-order logic☆57Updated 5 years ago
- ☆42Updated 8 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- Program Synthesis☆145Updated 4 years ago
- Probabilistic Neural Programming☆75Updated 6 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆12Updated 2 years ago
- An automated theorem prover for first-order logic.☆241Updated 3 years ago
- Experiments with interactive theorem provers, LLMs and formal systems☆22Updated 2 years ago
- deep learning for math☆28Updated 6 years ago
- DeepAlgebra☆25Updated 7 years ago
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆31Updated last year
- ☆43Updated 2 years ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆13Updated 6 months ago
- A curated list of awesome neural programming resources☆55Updated 7 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆130Updated 11 years ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆71Updated 8 months ago
- First Order Inductive Learner (FOIL) algorithm implemented in Python☆51Updated 11 years ago
- A Combinatory Categorial Grammar library.☆22Updated 11 years ago
- ☆14Updated 2 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated 6 months ago
- Build-to-Order BLAS☆12Updated 6 years ago