ml4ai / automatesLinks
AutoMATES: Automated Model Assembly from Text, Equations, and Software
☆25Updated last year
Alternatives and similar repositories for automates
Users that are interested in automates are comparing it to the libraries listed below
Sorting:
- Python package for Sentential Decision Diagrams (SDD)☆63Updated 4 months ago
- ☆15Updated 6 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆20Updated 2 years ago
- Probabilistic programming system for fast and exact symbolic inference☆80Updated last year
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Updated 4 years ago
- Evaluation Framework for Probabilistic Programming Languages☆100Updated last year
- Bayesian Assessment of Hypotheses☆24Updated 2 years ago
- ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.☆31Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated last year
- Modelling epidemiological dynamics and performing inference in these models☆27Updated 3 years ago
- ☆61Updated 2 months ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆50Updated last year
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- Implementation of the conceptual spaces framework.☆31Updated 2 years ago
- First-order knowledge compilation for lifted probabilistic inference☆11Updated 8 years ago
- ☆18Updated 3 years ago
- End-to-End Differentiable Proving☆89Updated 6 years ago
- Discovering Mathematical Objects of Interest - A Study of Mathematical Notations☆10Updated 5 years ago
- Framework for assembling causal probabilistic models from text and software.☆25Updated 2 years ago
- Interesting ATP Proofs☆13Updated 3 years ago
- Semantic flow graphs for data science☆29Updated 2 years ago
- ☆108Updated 2 years ago
- ☆43Updated 2 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 4 years ago
- This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for p…☆69Updated 7 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆15Updated 6 years ago
- ☆52Updated last year
- Manipulate NNF (Negation Normal Form) logical sentences☆18Updated 2 years ago
- Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.☆62Updated last year