Alternatives and similar repositories for Automatic-Theorem-Prover

Users that are interested in Automatic-Theorem-Prover are comparing it to the libraries listed below

• lab-v2 / pyreason-gym
  An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
  ☆31Updated last year
• CarsonScott / OpenAgent
  An agent library for systems of nested automata.
  ☆43Updated 8 years ago
• dyth / causal-entropic-forces
  Python reimplementation of Wissner-Gross & Freer, 2013
  ☆11Updated 3 weeks ago
• CarsonScott / Dual-Process-Reinforcement
  An intelligent agent that adaptively changes its thought processes to maximize cumulative reward
  ☆12Updated 8 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆76Updated 3 years ago
• opencog / asmoses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)
  ☆43Updated 2 months ago
• myint / pyfuzz
  Random program generator for Python
  ☆10Updated 12 years ago
• jules-hedges / awesome-applied-category-theory
  ACT community resources
  ☆21Updated 6 years ago
• CarsonScott / Knowledge-Discovery-Agents
  A Goal-Oriented Approach to Knowledge Discovery in Multi-Agent Systems
  ☆43Updated 8 years ago
• charlesfrye / raskell
  RASP-L in Haskell for my fellow rascals
  ☆20Updated last year
• nkatzz / ILED
  Incremental Learning Event Definitions
  ☆14Updated 10 years ago
• opencog / spacetime
  Save, track and query 3D+time locations of objects in the AtomSpace
  ☆14Updated 7 months ago
• commonsense / divisi2
  A Python library for learning from dimensionality reduction, supporting sparse and dense matrices.
  ☆78Updated 8 years ago
• aslanides / aixijs
  AIXIjs - General Reinforcement Learning in the Browser
  ☆147Updated 5 years ago
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆13Updated 2 years ago
• chiggum / Neural-Turing-Machines
  An attempt at replicating Deepmind's Neural Turing Machines in Theano
  ☆11Updated 8 years ago
• CarsonScott / Online-Relationship-Learning
  Unsupervised ML algorithm for predictive modeling and time-series analysis
  ☆39Updated 5 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆180Updated last year
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆241Updated 3 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated last year
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆119Updated this week
• davidar / stochaskell
  ☆14Updated 2 years ago
• colah / NN-Topology-Post
  A blog post exploring a connection between neural networks and topology
  ☆102Updated 6 years ago
• NICTA / MLSS
  Machine Learning Summer School
  ☆14Updated 10 years ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆33Updated 5 years ago
• ParhamP / Natural_Logic_Interpreter
  Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic
  ☆117Updated 7 years ago
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆37Updated last year
• jjoller / aixi
  Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.
  ☆12Updated 8 years ago
• RiccardoBiosas / LeanGPT
  Experiments with interactive theorem provers, LLMs and formal systems
  ☆22Updated 2 years ago
• dwhalen / holophrasm
  Holophrasm: a neural Automated Theorem Prover for higher-order logic
  ☆56Updated 5 years ago