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
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Updated 4 years ago
- ☆15Updated 6 years ago
- Bayesian Assessment of Hypotheses☆24Updated last year
- Modelling epidemiological dynamics and performing inference in these models☆27Updated 3 years ago
- Automatic Differentiation via Contour Integration☆52Updated last year
- ☆18Updated 3 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆20Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆56Updated last month
- Discovering Mathematical Objects of Interest - A Study of Mathematical Notations☆10Updated 5 years ago
- A list of resources dedicated to compositionality☆14Updated 6 years ago
- Logic Circuits from the Juice library☆48Updated 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
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆17Updated 7 years ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆49Updated last year
- Factor Graph Grammars in Python☆13Updated 3 months ago
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 8 months ago
- ☆33Updated 4 years ago
- Evaluation Framework for Probabilistic Programming Languages☆100Updated last year
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆33Updated 5 years ago
- A julia package for representing and manipulating model semantics☆77Updated 4 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 9 months ago
- Datasets for compositional learning☆11Updated 6 years ago
- ☆30Updated 3 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 4 years ago
- Implementation of generative semantic grammar.☆18Updated 2 years ago
- Massively Parallel and Asynchronous Architecture for Logic-based AI☆41Updated 2 years ago
- An implementation of Defeasible Logic in Python☆16Updated 6 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- Julia interface for SpaCy NLP library☆14Updated 6 years ago
- An agent-based model for scientific inquiry based on abstract argumentation☆11Updated 3 years ago