ml4ai / automatesLinks
AutoMATES: Automated Model Assembly from Text, Equations, and Software
☆25Updated 2 years ago
Alternatives and similar repositories for automates
Users that are interested in automates are comparing it to the libraries listed below
Sorting:
- Bayesian Assessment of Hypotheses☆25Updated 2 years ago
- Probabilistic programming system for fast and exact symbolic inference☆82Updated last year
- ☆15Updated 6 years ago
- Evaluation Framework for Probabilistic Programming Languages☆103Updated last year
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆49Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆66Updated 7 months ago
- Mirror of CSSR: An Algorithm for Building Markov Models from Time Series☆22Updated 5 years ago
- Modelling epidemiological dynamics and performing inference in these models☆27Updated 4 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Updated 4 years ago
- ☆108Updated 2 years ago
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆17Updated 8 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated 6 months 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…☆70Updated 7 years ago
- The Python PSDD Package☆19Updated 2 months ago
- ☆42Updated 8 years ago
- Reference implementations of basic and advanced hypergraph algorithms.☆49Updated last year
- ☆18Updated 3 years ago
- A plugin for code generation in PyCharm/IntelliJ using tranX☆36Updated 3 weeks ago
- ☆33Updated 4 years ago
- Geodesic updates for Nickel & Kiela's graph embedding algorithm in hyperbolic space.☆11Updated 7 years ago
- Probabilistic Circuits from the Juice library☆106Updated last year
- Massively Parallel and Asynchronous Architecture for Logic-based AI☆43Updated 2 years ago
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Updated 3 years ago
- ☆30Updated 3 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- ☆53Updated 2 years ago
- NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)☆133Updated 3 years ago