hongyuanmei / neural-datalog-through-timeLinks
Source code for Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification (ICML 2020).
☆36Updated last year
Alternatives and similar repositories for neural-datalog-through-time
Users that are interested in neural-datalog-through-time are comparing it to the libraries listed below
Sorting:
- A thorough review of the paper "Learning Embeddings into Entropic Wasserstein Spaces" by Frogner et al. Includes a reproduction of the re…☆22Updated 5 years ago
- Reference implementations of basic and advanced hypergraph algorithms.☆49Updated 2 years ago
- A model builder helper for creating graph neural networks akin to the ones described in https://arxiv.org/abs/1806.01261 and https://ie…☆12Updated 6 years ago
- End-to-End Differentiable Proving☆90Updated 7 years ago
- Rep the Set: Neural Networks for Learning Set Representations☆29Updated 5 years ago
- ☆57Updated 5 years ago
- Source code for the paper "Hyperbolic Neural Networks", https://arxiv.org/abs/1805.09112☆182Updated 5 years ago
- Hyperbolic Embeddings☆392Updated 2 years ago
- Codebase for Attentive Neural Hawkes Process (A-NHP) and Attentive Neural Datalog Through Time (A-NDTT)☆62Updated last year
- Conditional Theorem Proving☆53Updated 4 years ago
- Implementation of "Fast and Flexible Temporal Point Processes with Triangular Maps" (Oral @ NeurIPS 2020)☆23Updated 2 years ago
- Tensorflow implementation for the Class-wise Selective Rationalization☆14Updated 2 years ago
- ☆90Updated 3 years ago
- Implementation of "Intensity-Free Learning of Temporal Point Processes" (Spotlight @ ICLR 2020)☆89Updated 4 years ago
- Implementation of the "Poincare Glove: Hyperbolic word embeddings" paper☆88Updated 5 years ago
- Python library for working with graphons☆23Updated 8 years ago
- Embed arbitrary graphs in Hyperbolic space☆77Updated 3 years ago
- Recurrent Marked Temporal Point Processes☆56Updated 4 years ago
- Source code of the neural Hawkes particle smoothing (ICML 2019)☆44Updated 6 years ago
- Code and data for "Deep Reinforcement Learning of Marked Temporal Point Processes", NeurIPS 2018☆81Updated 6 years ago
- ☆146Updated 5 years ago
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆87Updated last year
- Ancestral Gumbel-Top-k Sampling☆25Updated 5 years ago
- ☆123Updated 2 years ago
- Factor Graph Grammars in Python☆13Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆71Updated 3 weeks ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 6 years ago
- Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.☆53Updated 2 years ago
- Multi-relational Poincaré Graph Embeddings☆161Updated 6 years ago
- Poincaré Embedding☆40Updated 8 years ago