machine-reasoning-ufrgs / typed-graph-network
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
☆11Updated 5 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
- Reference implementations of basic and advanced hypergraph algorithms.☆47Updated last year
- Learning and Reasoning with Graph-Structured Data (ICML 2019 Workshop)☆26Updated 5 years ago
- Conditional Theorem Proving☆51Updated 3 years ago
- ☆57Updated 5 years ago
- Source code for the "Computationally Tractable Riemannian Manifolds for Graph Embeddings" paper☆35Updated 4 years ago
- An implementation of Probabilistic Soft Logic Engine using Python/Gurobi☆54Updated 6 years ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Updated 7 years ago
- IPC: A Graph Data Set Compiled from International Planning Competitions☆44Updated 5 years ago
- MATLAB implementation of linear support vector classification in hyperbolic space☆20Updated 6 years ago
- Source code for Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification (ICML 2020).☆36Updated 7 months ago
- G2SAT: Learning to Generate SAT Formulas☆50Updated 4 years ago
- End-to-End Differentiable Proving☆88Updated 6 years ago
- Software relating to relational empirical risk minimization☆17Updated 3 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆33Updated 5 years ago
- Codes for NIPS 2019 Paper: Rethinking Kernel Methods for Node Representation Learning on Graphs☆34Updated 5 years ago
- A comprehensive collection of GNN works in NeurIPS 2019.☆21Updated 5 years ago
- ☆26Updated 6 years ago
- ☆11Updated last year
- Code for core-fringe link prediction☆11Updated 5 years ago
- ☆12Updated 4 years ago
- ☆15Updated 6 years ago
- ☆29Updated 6 years ago
- Equivalence Between Structural Representations and Positional Node Embeddings☆21Updated 5 years ago
- Code for paper by Bamler & Mandt, "Extreme Classification via Adversarial Softmax Approximation" (ICLR 2020)☆14Updated 4 years ago
- Code for "Searching Scoring Functions for Knowledge Graph Embedding"☆20Updated 4 years ago
- Learning Tree structures and Tree metrics☆23Updated 7 months ago
- Structure learning for sparse graphs with latent variables☆45Updated 8 years ago
- Models and code from Learning to Predict Denotational Probabilities For Modeling Entailment☆14Updated 7 years ago
- PyTorch implementation for "Probabilistic Circuits for Variational Inference in Discrete Graphical Models", NeurIPS 2020☆17Updated 3 years ago
- Code for the publication Learning to Reason with Third-Order Tensor Products.☆39Updated 6 years ago