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:
- Incremental Learning Event Definitions☆14Updated 10 years ago
- An agent library for systems of nested automata.☆43Updated 8 years ago
- An intelligent agent that adaptively changes its thought processes to maximize cumulative reward☆12Updated 8 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆119Updated last week
- An automated theorem prover for first-order logic.☆241Updated 3 years ago
- ACT community resources☆21Updated 6 years ago
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Updated 2 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- The Design and Implementation of Probabilistic Programming Languages☆179Updated last year
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Updated 8 years ago
- RASP-L in Haskell for my fellow rascals☆19Updated last year
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆43Updated last month
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆37Updated last year
- Probabilistic Neural Programming☆75Updated 6 years ago
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆31Updated last year
- AIXIjs - General Reinforcement Learning in the Browser☆147Updated 5 years ago
- A Goal-Oriented Approach to Knowledge Discovery in Multi-Agent Systems☆43Updated 8 years ago
- Experiments with interactive theorem provers, LLMs and formal systems☆22Updated 2 years ago
- A blog post exploring a connection between neural networks and topology☆102Updated 6 years ago
- Semantic Parser with Execution☆12Updated 7 years ago
- Holophrasm: a neural Automated Theorem Prover for higher-order logic☆56Updated 5 years ago
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆18Updated 7 years ago
- Machine Learning Summer School☆14Updated 10 years ago
- Unsupervised ML algorithm for predictive modeling and time-series analysis☆39Updated 5 years ago
- Sample code for generative recurrent autoencoders.☆26Updated 8 years ago
- Intu is a Cognitive Embodiment Middleware for AI on the edge.☆30Updated 11 months ago
- GitXiv Competition: Replicate the findings of the Deep Q&A research paper, preferably in collaboration with others. Use library of choice…☆40Updated 10 years ago
- deep learning for math☆28Updated 6 years ago
- A Church to Javascript compiler (DEPRECATED)☆141Updated 7 years ago