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:
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Updated 4 years ago
- ☆15Updated 6 years ago
- Probabilistic programming system for fast and exact symbolic inference☆82Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆67Updated 2 weeks ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- Bayesian Assessment of Hypotheses☆25Updated 2 years ago
- Incremental Learning Event Definitions☆14Updated 10 years ago
- ☆42Updated 8 years ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆51Updated last year
- Evaluation Framework for Probabilistic Programming Languages☆103Updated last year
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆15Updated 6 years ago
- Modelling epidemiological dynamics and performing inference in these models☆27Updated 4 years ago
- Mirror of CSSR: An Algorithm for Building Markov Models from Time Series☆22Updated 6 years ago
- Reference implementations of basic and advanced hypergraph algorithms.☆49Updated last year
- System for eXtended Hybrid Abductive Inductive Learning☆26Updated 4 years ago
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆17Updated 8 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆26Updated 2 years ago
- The Python PSDD Package☆19Updated 4 months ago
- Probabilistic Programming eXecution protocol (PPX)☆76Updated 3 years ago
- End-to-End Differentiable Proving☆90Updated 7 years ago
- Modeling agents with probabilistic programs☆67Updated 6 years ago
- Semantic flow graphs for data science☆29Updated 3 years ago
- Factor Graph Grammars in Python☆13Updated 11 months ago
- A machine learning software for extracting information from scholarly documents☆23Updated 4 years ago
- Logic Programming in Python☆31Updated 4 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆49Updated 8 months ago
- Probabilistic Circuits from the Juice library☆106Updated last year
- Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.☆64Updated last year
- Interesting ATP Proofs☆13Updated 4 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 4 years ago