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)☆65Updated 6 months ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Updated 4 years ago
- Bayesian Assessment of Hypotheses☆24Updated 2 years ago
- ☆15Updated 6 years ago
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆17Updated 8 years ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆49Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆67Updated last year
- Evaluation Framework for Probabilistic Programming Languages☆101Updated last year
- Probabilistic programming system for fast and exact symbolic inference☆82Updated last year
- Modelling epidemiological dynamics and performing inference in these models☆27Updated 4 years ago
- Semantic flow graphs for data science☆29Updated 2 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆24Updated 2 years ago
- implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples☆76Updated 5 years ago
- Mirror of CSSR: An Algorithm for Building Markov Models from Time Series☆21Updated 5 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated 5 months ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆35Updated 5 years ago
- End-to-End Differentiable Proving☆90Updated 6 years ago
- Interesting ATP Proofs☆13Updated 4 years ago
- MathWebSearch Implementation☆48Updated 2 years ago
- This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for p…☆70Updated 7 years ago
- Framework for assembling causal probabilistic models from text and software.☆25Updated last week
- Reference implementations of basic and advanced hypergraph algorithms.☆49Updated last year
- Deep relational learning through differentiable logic programming.☆108Updated 3 weeks ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆21Updated 2 years ago
- Intelligence Task Ontology (ITO)☆74Updated 2 years ago
- ☆42Updated 8 years ago
- ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.☆31Updated 2 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- ☆63Updated 3 months ago
- Incremental Learning Event Definitions☆14Updated 10 years ago