ml4ai / automatesLinks
AutoMATES: Automated Model Assembly from Text, Equations, and Software
☆25Updated 2 years ago
Alternatives and similar repositories for automates
Users that are interested in automates are comparing it to the libraries listed below
Sorting:
- ☆15Updated 6 years ago
- Probabilistic programming system for fast and exact symbolic inference☆84Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆70Updated 3 weeks ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- Bayesian Assessment of Hypotheses☆26Updated 2 years ago
- Reference implementations of basic and advanced hypergraph algorithms.☆49Updated 2 years ago
- Incremental Learning Event Definitions☆15Updated 10 years ago
- End-to-End Differentiable Proving☆90Updated 7 years ago
- Modelling epidemiological dynamics and performing inference in these models☆27Updated 4 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆49Updated 9 months ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Updated 4 years ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆51Updated last year
- ☆42Updated 8 years ago
- Semantic flow graphs for data science☆31Updated 3 years ago
- Mirror of CSSR: An Algorithm for Building Markov Models from Time Series☆22Updated 6 years ago
- Factor Graph Grammars in Python☆13Updated last year
- Logic Programming in Python☆31Updated 4 years ago
- Evaluation Framework for Probabilistic Programming Languages☆103Updated last year
- This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for p…☆70Updated 7 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 6 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆23Updated 2 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 5 years ago
- Building dynamical systems compositionally☆76Updated last week
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Updated 6 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆120Updated last month
- The Python PSDD Package☆19Updated 5 months ago
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆17Updated 8 years ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆15Updated 6 years ago
- ☆63Updated 8 months ago