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☆90Updated 7 years ago
- ☆111Updated 7 years ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Updated 8 years ago
- Source code for Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification (ICML 2020).☆36Updated last year
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- Factor Graph Grammars in Python☆13Updated last year
- ☆58Updated 5 years ago
- Legendre decomposition for tensors☆13Updated 7 years ago
- Learning and Reasoning with Graph-Structured Data (ICML 2019 Workshop)☆26Updated 6 years ago
- Embed arbitrary graphs in Hyperbolic space☆76Updated 3 years ago
- Multi-relational Poincaré Graph Embeddings☆161Updated 6 years ago
- Conditional Theorem Proving☆53Updated 4 years ago
- Tensorflow implementation for the Class-wise Selective Rationalization☆14Updated 2 years ago
- Source code for the paper "Hyperbolic Neural Networks", https://arxiv.org/abs/1805.09112☆182Updated 5 years ago
- Code accompanying the paper "Learning Permutations with Sinkhorn Policy Gradient"☆40Updated 7 years ago
- Code to accompany the paper "Learning Graphical State Transitions"☆171Updated 8 years ago
- Code for the publication Learning to Reason with Third-Order Tensor Products.☆41Updated 6 years ago
- IPC: A Graph Data Set Compiled from International Planning Competitions☆46Updated 6 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
- ☆76Updated 8 years ago
- Hyperbolic Embeddings☆392Updated 2 years ago
- Implementation for the Neural Logic Machines (NLM).☆293Updated 6 years ago
- Markov Logic Networks in Python☆139Updated 4 years ago
- Source code for the ICML'18 paper "Hyperbolic Entailment Cones for Learning Hierarchical Embeddings", https://arxiv.org/abs/1804.01882☆137Updated 7 years ago
- Gated Graph Sequence Neural Networks☆276Updated 7 years ago
- G2SAT: Learning to Generate SAT Formulas☆49Updated 5 years ago
- Tensor product decomposition network☆19Updated 4 years ago
- Semantic Loss code☆62Updated 6 years ago
- ☆15Updated 6 years ago