ml4ai / automates
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
- ☆15Updated 6 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Updated 4 years ago
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 9 months ago
- Bayesian Assessment of Hypotheses☆24Updated last year
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆20Updated last year
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆49Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆56Updated 2 months ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆24Updated 2 years ago
- Factor Graph Grammars in Python☆13Updated 4 months ago
- ☆33Updated 4 years ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆16Updated 5 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆17Updated 7 years ago
- Logic Circuits from the Juice library☆48Updated 10 months ago
- Discovering Mathematical Objects of Interest - A Study of Mathematical Notations☆10Updated 5 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 9 months ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆33Updated 5 years ago
- Modelling epidemiological dynamics and performing inference in these models☆27Updated 3 years ago
- ☆18Updated 3 years ago
- The Python PSDD Package☆16Updated 7 months ago
- Probabilistic Circuits from the Juice library☆106Updated 10 months ago
- Implementation of the first neural natural logic paper on natural language inference☆11Updated 2 years ago
- A list of resources dedicated to compositionality☆14Updated 6 years ago
- ☆30Updated 3 years ago
- Minimum Description Length Recurrent Neural Networks☆18Updated last year
- Deep Probabilistic Programming Language☆19Updated 9 months ago
- A Neural Language Model for Dynamically Representing the Meanings of Unknown Words and Entities in a Discourse, Sosuke Kobayashi, Naoaki …☆9Updated 7 years ago
- deep learning for math☆29Updated 5 years ago
- ☆52Updated last year
- Math-aware QA system☆19Updated 2 years ago