Alternatives and similar repositories for Automatic-Theorem-Prover

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

• nkatzz / ILED
  Incremental Learning Event Definitions
  ☆14Updated 10 years ago
• CarsonScott / OpenAgent
  An agent library for systems of nested automata.
  ☆43Updated 8 years ago
• CarsonScott / Dual-Process-Reinforcement
  An intelligent agent that adaptively changes its thought processes to maximize cumulative reward
  ☆12Updated 8 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆119Updated last week
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆241Updated 3 years ago
• jules-hedges / awesome-applied-category-theory
  ACT community resources
  ☆21Updated 6 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆76Updated 3 years ago
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆13Updated 2 years ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆32Updated 4 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆179Updated last year
• chiggum / Neural-Turing-Machines
  An attempt at replicating Deepmind's Neural Turing Machines in Theano
  ☆11Updated 8 years ago
• charlesfrye / raskell
  RASP-L in Haskell for my fellow rascals
  ☆19Updated last year
• opencog / asmoses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)
  ☆43Updated last month
• 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
• allenai / pnp
  Probabilistic Neural Programming
  ☆75Updated 6 years ago
• lab-v2 / pyreason-gym
  An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
  ☆31Updated last year
• aslanides / aixijs
  AIXIjs - General Reinforcement Learning in the Browser
  ☆147Updated 5 years ago
• CarsonScott / Knowledge-Discovery-Agents
  A Goal-Oriented Approach to Knowledge Discovery in Multi-Agent Systems
  ☆43Updated 8 years ago
• RiccardoBiosas / LeanGPT
  Experiments with interactive theorem provers, LLMs and formal systems
  ☆22Updated 2 years ago
• colah / NN-Topology-Post
  A blog post exploring a connection between neural networks and topology
  ☆102Updated 6 years ago
• sidaw / sempre-interactive
  Semantic Parser with Execution
  ☆12Updated 7 years ago
• dwhalen / holophrasm
  Holophrasm: a neural Automated Theorem Prover for higher-order logic
  ☆56Updated 5 years ago
• mtrazzi / gym-alttp-gridworld
  A gym environment for Stuart Armstrong's model of a treacherous turn.
  ☆18Updated 7 years ago
• NICTA / MLSS
  Machine Learning Summer School
  ☆14Updated 10 years ago
• CarsonScott / Online-Relationship-Learning
  Unsupervised ML algorithm for predictive modeling and time-series analysis
  ☆39Updated 5 years ago
• arayabrain / RecurrentAutoencoder
  Sample code for generative recurrent autoencoders.
  ☆26Updated 8 years ago
• watson-intu / self
  Intu is a Cognitive Embodiment Middleware for AI on the edge.
  ☆30Updated 11 months ago
• GitXiv / DeepQA
  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
• JUrban / deepmath
  deep learning for math
  ☆28Updated 6 years ago
• probmods / webchurch
  A Church to Javascript compiler (DEPRECATED)
  ☆141Updated 7 years ago