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:
- ☆15Updated 6 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.☆50Updated last year
- Modelling epidemiological dynamics and performing inference in these models☆27Updated 3 years ago
- Bayesian Assessment of Hypotheses☆24Updated last year
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆20Updated last year
- Geodesic updates for Nickel & Kiela's graph embedding algorithm in hyperbolic space.☆11Updated 7 years ago
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 10 months ago
- ☆30Updated 3 years ago
- ☆18Updated 3 years ago
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆17Updated 7 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆15Updated 5 years ago
- A list of resources dedicated to compositionality☆14Updated 6 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 4 years ago
- ☆43Updated 7 years ago
- Logistic Circuits☆36Updated 5 years ago
- ☆33Updated 4 years ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Updated 5 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆25Updated 2 years ago
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆17Updated 3 years ago
- Automatic Differentiation via Contour Integration☆52Updated 2 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- Reference implementations of basic and advanced hypergraph algorithms.☆49Updated last year
- ☆52Updated last year
- Python implementation of projection losses.☆26Updated 5 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- Minimum Description Length Recurrent Neural Networks☆18Updated last year
- ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.☆31Updated 2 years ago
- Converter from UD-trees to BART representation☆36Updated last year