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
- Modelling epidemiological dynamics and performing inference in these models☆27Updated 3 years ago
- Bayesian Assessment of Hypotheses☆24Updated last year
- Factor Graph Grammars in Python☆13Updated 6 months ago
- 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.☆50Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆62Updated 4 months ago
- Implementation of generative semantic grammar.☆18Updated 3 years ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆15Updated 5 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- Probabilistic programming system for fast and exact symbolic inference☆80Updated 11 months ago
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆17Updated 8 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- Deep Probabilistic Programming Language☆19Updated 11 months ago
- ☆18Updated 3 years ago
- Code for the 2-simplicial Transformer paper☆18Updated 5 years ago
- ☆43Updated 7 years ago
- Course notes for CS323: Automated Reasoning☆42Updated 8 years ago
- Interesting ATP Proofs☆13Updated 3 years ago
- Reference implementations of basic and advanced hypergraph algorithms.☆49Updated last year
- ☆33Updated 4 years ago
- Massively Parallel and Asynchronous Architecture for Logic-based AI☆42Updated 2 years ago
- Semantic flow graphs for data science☆29Updated 2 years ago
- ☆30Updated 3 years ago
- Agent models implemented with Pyro☆11Updated last year
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated 3 months ago
- Mirror of CSSR: An Algorithm for Building Markov Models from Time Series☆21Updated 5 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago