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:
- Reference implementations of basic and advanced hypergraph algorithms.☆49Updated last year
- End-to-End Differentiable Proving☆91Updated 6 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆35Updated 5 years ago
- ☆58Updated 5 years ago
- Learning and Reasoning with Graph-Structured Data (ICML 2019 Workshop)☆26Updated 6 years ago
- Code accompanying the paper "Learning Permutations with Sinkhorn Policy Gradient"☆39Updated 7 years ago
- ☆110Updated 6 years ago
- Source code for Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification (ICML 2020).☆36Updated last year
- Factor Graph Grammars in Python☆13Updated 9 months ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Updated 7 years ago
- ☆76Updated 8 years ago
- Implementation of Bayesian Sum-Product Networks☆13Updated 5 years ago
- Code for the publication Learning to Reason with Third-Order Tensor Products.☆41Updated 6 years ago
- A public repository for our paper, Rao-Blackwellized Stochastic Gradients for Discrete Distributions☆22Updated 6 years ago
- Deprecated repository for "Deep Learning with Topological Signatures"☆36Updated 5 years ago
- ☆17Updated 4 years ago
- Tensor product decomposition network☆19Updated 4 years ago
- G2SAT: Learning to Generate SAT Formulas☆49Updated 5 years ago
- Semantic Loss code☆61Updated 6 years ago
- IPC: A Graph Data Set Compiled from International Planning Competitions☆46Updated 5 years ago
- Conditional Theorem Proving☆53Updated 4 years ago
- LP-SparseMAP: Differentiable sparse structured prediction in coarse factor graphs☆41Updated last year
- ☆53Updated 2 years ago
- Estimating Gradients for Discrete Random Variables by Sampling without Replacement☆40Updated 5 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
- Variational Walkback, NIPS'17☆28Updated 7 years ago
- Embed arbitrary graphs in Hyperbolic space☆75Updated 3 years ago
- Code for "Efficient optimization of loops and limits with randomized telescoping sums"☆27Updated 6 years ago
- An implementation of Probabilistic Soft Logic Engine using Python/Gurobi☆53Updated 6 years ago
- LSTM implementation, and multi-layer LSTMs for learning on graph neighborhoods☆80Updated 8 years ago