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
- Conditional Theorem Proving☆51Updated 3 years ago
- End-to-End Differentiable Proving☆88Updated 6 years ago
- Code for the publication Learning to Reason with Third-Order Tensor Products.☆39Updated 6 years ago
- An implementation of Probabilistic Soft Logic Engine using Python/Gurobi☆54Updated 6 years ago
- G2SAT: Learning to Generate SAT Formulas☆48Updated 4 years ago
- ☆57Updated 5 years ago
- Code accompanying the paper "Learning Permutations with Sinkhorn Policy Gradient"☆39Updated 6 years ago
- Learning and Reasoning with Graph-Structured Data (ICML 2019 Workshop)☆26Updated 5 years ago
- IPC: A Graph Data Set Compiled from International Planning Competitions☆44Updated 5 years ago
- Framework of DataLog Neural Program Synthesis