machine-reasoning-ufrgs / typed-graph-networkLinks
A model builder helper for creating graph neural networks akin to the ones described in https://arxiv.org/abs/1806.01261 and https://ieeexplore.ieee.org/document/4700287
☆12Updated 6 years ago
Alternatives and similar repositories for typed-graph-network
Users that are interested in typed-graph-network are comparing it to the libraries listed below
Sorting:
- End-to-End Differentiable Proving☆90Updated 6 years ago
- Reference implementations of basic and advanced hypergraph algorithms.☆49Updated last year
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- ☆58Updated 5 years ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Updated 7 years ago
- ☆111Updated 6 years ago
- Code accompanying the paper "Learning Permutations with Sinkhorn Policy Gradient"☆39Updated 7 years ago
- Factor Graph Grammars in Python☆13Updated 10 months ago
- Conditional Theorem Proving☆53Updated 4 years ago
- ☆15Updated 6 years ago
- An implementation of Probabilistic Soft Logic Engine using Python/Gurobi☆53Updated 6 years ago
- A public repository for our paper, Rao-Blackwellized Stochastic Gradients for Discrete Distributions☆22Updated 6 years ago
- Learning and Reasoning with Graph-Structured Data (ICML 2019 Workshop)☆26Updated 6 years ago
- G2SAT: Learning to Generate SAT Formulas☆49Updated 5 years ago
- Code accompanying the paper Recurrent Relational Networks for Complex Relational Reasoning https://arxiv.org/abs/1711.08028☆202Updated 2 years ago
- PyTorch implementation for "Probabilistic Circuits for Variational Inference in Discrete Graphical Models", NeurIPS 2020☆17Updated 4 years ago
- Code for the publication Learning to Reason with Third-Order Tensor Products.☆41Updated 6 years ago
- Source code for Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification (ICML 2020).☆36Updated last year
- Code for the 2-simplicial Transformer paper☆21Updated 5 years ago
- IPC: A Graph Data Set Compiled from International Planning Competitions☆46Updated 5 years ago
- Estimating Gradients for Discrete Random Variables by Sampling without Replacement☆40Updated 5 years ago
- Variational Walkback, NIPS'17☆28Updated 7 years ago
- PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers☆41Updated 2 years ago
- LP-SparseMAP: Differentiable sparse structured prediction in coarse factor graphs☆41Updated last year
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Updated 4 years ago
- ☆25Updated 6 years ago
- ☆17Updated 4 years ago
- Legendre decomposition for tensors☆13Updated 6 years ago
- Pip-installable differentiable stacks in PyTorch!☆65Updated 4 years ago
- Source code for the paper "Hyperbolic Neural Networks", https://arxiv.org/abs/1805.09112☆179Updated 5 years ago