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 last year
- Conditional Theorem Proving☆53Updated 4 years ago
- Implementation of "Fast and Flexible Temporal Point Processes with Triangular Maps" (Oral @ NeurIPS 2020)☆23Updated last year
- 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
- ☆65Updated last year
- Embed arbitrary graphs in Hyperbolic space☆76Updated 3 years ago
- Ancestral Gumbel-Top-k Sampling☆25Updated 5 years ago
- Source code for the paper "Hyperbolic Neural Networks", https://arxiv.org/abs/1805.09112☆179Updated 5 years ago
- End-to-End Differentiable Proving☆90Updated 6 years ago
- ☆58Updated 5 years ago
- Code and data for "Deep Reinforcement Learning of Marked Temporal Point Processes", NeurIPS 2018☆81Updated 6 years ago
- Implementation of the "Poincare Glove: Hyperbolic word embeddings" paper☆88Updated 4 years ago
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆86Updated last year
- ☆89Updated 2 years ago
- learning point processes by means of optimal transport and wasserstein distance☆54Updated 7 years ago
- Factor Graph Grammars in Python☆13Updated 10 months ago
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆24Updated 5 years ago
- ☆122Updated last year
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- Implementation of "Intensity-Free Learning of Temporal Point Processes" (Spotlight @ ICLR 2020)☆87Updated 4 years ago
- A Wasserstein Subsequence Kernel for Time Series.☆21Updated last year
- Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.☆51Updated 2 years ago
- Replication code for the article "Learning Functional Causal Models with Generative Neural Networks"☆100Updated 6 years ago
- A short course on temporal point process and modeling irregular time series☆21Updated 4 years ago
- Source code for Noise-Contrastive Estimation for Multivariate Point Processes (NeurIPS 2020).☆15Updated 4 years ago
- Codebase for Attentive Neural Hawkes Process (A-NHP) and Attentive Neural Datalog Through Time (A-NDTT)☆61Updated 9 months ago
- Gromov-Wasserstein Alignment of Embeddings☆66Updated 4 years ago
- Python library for working with graphons☆23Updated 8 years ago
- Rep the Set: Neural Networks for Learning Set Representations☆29Updated 5 years ago