tech-srl / weighted_lstarLinks
implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019
☆18Updated 5 years ago
Alternatives and similar repositories for weighted_lstar
Users that are interested in weighted_lstar are comparing it to the libraries listed below
Sorting:
- implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples☆76Updated 5 years ago
- PyTorch implementation for "Probabilistic Circuits for Variational Inference in Discrete Graphical Models", NeurIPS 2020☆17Updated 3 years ago
- Python package for Sentential Decision Diagrams (SDD)☆63Updated 5 months ago
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆86Updated last year
- SyReNN: Symbolic Representations for Neural Networks☆41Updated 2 years ago
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆24Updated 4 years ago
- Ancestral Gumbel-Top-k Sampling☆25Updated 5 years ago
- ☆50Updated 4 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆24Updated 2 years ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆30Updated 3 years ago
- Public Release of Plan2vec Implementation in pyTorch☆57Updated 2 years ago
- ☆15Updated 6 years ago
- Dynamic causal Bayesian optimisation☆40Updated 2 years ago
- Library for learning and inference with Sum-product Networks utilizing TensorFlow 2.x and Keras☆48Updated 4 years ago
- ☆41Updated 4 years ago
- ☆13Updated 2 years ago
- The Python PSDD Package☆17Updated 2 weeks ago
- Neural Fixed-Point Acceleration for Convex Optimization☆29Updated 2 years ago
- Massively Parallel and Asynchronous Architecture for Logic-based AI☆42Updated 2 years ago
- ☆122Updated last year
- Variational Walkback, NIPS'17☆28Updated 7 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆45Updated 5 years ago
- ☆46Updated last year
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- Reachability Analysis of Deep Neural Networks with Provable Guarantees☆36Updated 5 years ago
- MultiVerse: Probabilistic Programming Language for Causal Reasoning☆9Updated 3 years ago
- Computing the eigenvalues of Neural Tangent Kernel and Conjugate Kernel (aka NNGP kernel) over the boolean cube☆47Updated 5 years ago
- ☆10Updated 4 years ago
- Graphically structured diffusion model.☆20Updated 2 years ago