diprism / fggsLinks
Factor Graph Grammars in Python
☆13Updated 7 months ago
Alternatives and similar repositories for fggs
Users that are interested in fggs are comparing it to the libraries listed below
Sorting:
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- ☆14Updated last year
- MultiVerse: Probabilistic Programming Language for Causal Reasoning☆9Updated 3 years ago
- An interactive tool for analyzing, executing, and improving dynamic programming algorithms.☆13Updated last year
- Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)☆18Updated last year
- ☆52Updated last year
- Reference implementations of basic and advanced hypergraph algorithms.☆49Updated last year
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆24Updated 4 years ago
- u-MPS implementation and experimentation code used in the paper Tensor Networks for Probabilistic Sequence Modeling (https://arxiv.org/ab…☆19Updated 5 years ago
- ☆18Updated 3 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- ☆16Updated 2 years ago
- Silly twitter torch implementations.☆46Updated 2 years ago
- End-to-End Differentiable Proving☆90Updated 6 years ago
- ☆15Updated 6 years ago
- PyTorch implementation for "Probabilistic Circuits for Variational Inference in Discrete Graphical Models", NeurIPS 2020☆17Updated 3 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Updated 4 years ago
- ☆108Updated 2 years ago
- Minimum Description Length Recurrent Neural Networks☆18Updated 2 years ago
- Generic PyTorch implementation of einsum that supports different semirings☆50Updated last year
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆49Updated last year
- ☆29Updated 3 years ago
- A model builder helper for creating graph neural networks akin to the ones described in https://arxiv.org/abs/1806.01261 and https://ie…☆12Updated 6 years ago
- Variable-order CRFs with structure learning☆16Updated last year
- A reference implementation of algorithms for distributions over spanning trees.☆21Updated 5 years ago
- ☆33Updated 4 years ago
- Python implementation of projection losses.☆27Updated 5 years ago
- Conditional Theorem Proving☆53Updated 4 years ago
- Holographic Reduced Representations☆26Updated 9 months ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 4 years ago