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:
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Updated 5 years ago
- An agent library for systems of nested automata.☆43Updated 8 years ago
- Unsupervised ML algorithm for predictive modeling and time-series analysis☆39Updated 5 years ago
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆32Updated 2 years ago
- Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)☆32Updated 3 years ago
- Holophrasm: a neural Automated Theorem Prover for higher-order logic☆55Updated 5 years ago
- An automated theorem prover for first-order logic.☆242Updated 4 years ago
- RASP-L in Haskell for my fellow rascals☆20Updated 2 years ago
- The Design and Implementation of Probabilistic Programming Languages☆180Updated last year
- Command-line recursive question-answering with immutable contexts and explicit data store☆26Updated 7 years ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Updated 9 years ago
- Random program generator for Python☆10Updated 12 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆120Updated 2 months ago
- Uses Hierarchical Temporal Memory to predict the price of RLG based on historical data☆11Updated 10 years ago
- Machine Learning Summer School☆14Updated 10 years ago
- Incremental Learning Event Definitions☆15Updated 10 years ago
- a web base research management tool that deal with big data for everyone☆32Updated this week
- A Combinatory Categorial Grammar library.☆22Updated 12 years ago
- ACT community resources☆24Updated 6 years ago
- Scripts to generate a dataset with static frames from the Arcade Learning Environment☆19Updated 11 years ago
- ☆45Updated 3 years ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆16Updated 10 months ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆41Updated last year
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 6 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Updated 2 years ago
- Python reimplementation of Wissner-Gross & Freer, 2013☆14Updated last month
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆15Updated 6 years ago
- Framework for Self-Organizing Python Agents☆29Updated 2 years ago
- MC-AIXI-CTW by Marcus Hutter and his students (in particular Daniel Visentin)☆51Updated 14 years ago