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 6 years ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Updated 7 years ago
- Learning and Reasoning with Graph-Structured Data (ICML 2019 Workshop)☆26Updated 6 years ago
- ☆109Updated 6 years ago
- Conditional Theorem Proving☆53Updated 4 years ago
- Code accompanying the paper "Learning Permutations with Sinkhorn Policy Gradient"☆39Updated 7 years ago
- ☆58Updated 5 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆35Updated 5 years ago
- Factor Graph Grammars in Python☆13Updated 8 months ago
- G2SAT: Learning to Generate SAT Formulas☆49Updated 5 years ago
- IPC: A Graph Data Set Compiled from International Planning Competitions☆46Updated 5 years ago
- Embed arbitrary graphs in Hyperbolic space☆74Updated 3 years ago
- Tensorflow implementation for the Class-wise Selective Rationalization☆14Updated 2 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
- Legendre decomposition for tensors☆13Updated 6 years ago
- The Python PSDD Package☆19Updated last month
- Deprecated repository for "Deep Learning with Topological Signatures"☆36Updated 5 years ago
- An implementation of Probabilistic Soft Logic Engine using Python/Gurobi☆53Updated 6 years ago
- ☆76Updated 7 years ago
- Code to accompany the paper "Learning Graphical State Transitions"☆171Updated 8 years ago
- ☆15Updated 6 years ago
- Code accompanying the paper Recurrent Relational Networks for Complex Relational Reasoning https://arxiv.org/abs/1711.08028☆202Updated 2 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
- PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers☆41Updated 2 years ago
- Equivalence Between Structural Representations and Positional Node Embeddings☆22Updated 5 years ago
- Injecting Background Knowledge in Neural Models via Adversarial Set Regularisation☆61Updated 7 years ago
- Source code for the paper "Hyperbolic Neural Networks", https://arxiv.org/abs/1805.09112☆178Updated 4 years ago
- Framework of DataLog Neural Program Synthesis☆26Updated 6 years ago