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 7 years ago
- Python package for Sentential Decision Diagrams (SDD)☆71Updated last month
- Evaluation Framework for Probabilistic Programming Languages☆104Updated 2 years ago
- Probabilistic programming system for fast and exact symbolic inference☆85Updated last year
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆51Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Updated 5 years ago
- Mirror of CSSR: An Algorithm for Building Markov Models from Time Series☆23Updated 6 years ago
- Modelling epidemiological dynamics and performing inference in these models☆27Updated 4 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Updated 2 years ago
- Bayesian Assessment of Hypotheses☆26Updated 2 years ago
- ☆108Updated 3 years ago
- Probabilistic Programming eXecution protocol (PPX)☆76Updated 3 years ago
- ☆42Updated 8 years ago
- Implementation of generative semantic grammar.☆16Updated 3 years ago
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆17Updated 8 years ago
- Incremental Learning Event Definitions☆15Updated 10 years ago
- Deep relational learning through differentiable logic programming.☆113Updated 6 months ago
- ☆28Updated 8 years ago
- Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.☆65Updated last year
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 5 years ago
- Modeling agents with probabilistic programs☆68Updated 6 years ago
- Reference implementations of basic and advanced hypergraph algorithms.☆49Updated 2 years ago
- ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.☆31Updated 3 years ago
- The Python PSDD Package☆19Updated 6 months ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Updated 5 years ago
- Differentiable Forth Interpreter☆74Updated 8 years ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆15Updated 6 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 6 years ago
- Semantic parser induction using a generative model of grammar.☆30Updated 3 years ago