hongyuanmei / neural-datalog-through-timeView external linksLinks
Source code for Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification (ICML 2020).
☆36Jul 25, 2024Updated 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:
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- Codebase for Attentive Neural Hawkes Process (A-NHP) and Attentive Neural Datalog Through Time (A-NDTT)☆62Dec 28, 2024Updated last year
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Jan 11, 2025Updated last year
- Java Implementation of the Sonopy Audio Feature Extraction Library by MycroftAI☆15Feb 10, 2020Updated 6 years ago
- code submission to NeurIPS2019☆13Aug 9, 2023Updated 2 years ago
- Source for experiments in the Additive Gaussian process paper, as well as extensions relating to dropout.☆21Mar 10, 2014Updated 11 years ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Dec 22, 2021Updated 4 years ago
- This is the reference implementation of our NeurIPS 2023 paper "Add and Thin: Diffusion for Temporal Point Processes"☆20Mar 4, 2024Updated last year
- Paper lists for Temporal Point Process☆120Jul 4, 2025Updated 7 months ago
- Explainable Link Prediction for Emerging Entities in Knowledge Graphs☆20Nov 23, 2020Updated 5 years ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Nov 7, 2024Updated last year
- An arbitrary-precision differentiable programming language.☆36Jul 7, 2023Updated 2 years ago
- The rule-based graph programming language GP 2☆77Nov 25, 2025Updated 2 months ago
- ☆62Aug 25, 2020Updated 5 years ago
- Higher-order, higher-order automatic differentiation☆30Jan 24, 2020Updated 6 years ago
- Implementation of "Detecting Anomalous Event Sequences with Temporal Point Processes" (NeurIPS 2021)☆23Dec 30, 2021Updated 4 years ago
- ☆31Jul 27, 2025Updated 6 months ago
- Kanren with databases☆44Jul 30, 2024Updated last year
- ☆71Jun 12, 2020Updated 5 years ago
- Art of Prolog Code☆37Aug 28, 2019Updated 6 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- UDisks2 D-Bus interfaces binding for Qt5.☆10Jul 11, 2024Updated last year
- ☆16Apr 30, 2025Updated 9 months ago
- An application for comparing two binary files☆11Feb 22, 2019Updated 6 years ago
- MATLAB code for Stein Point Markov Chain Monte Carlo.☆13Jul 3, 2019Updated 6 years ago
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 9 years ago
- Generate Go bindings for shared C libraries.☆15Jul 13, 2024Updated last year
- dblp Knowledge Graph☆14Jan 16, 2025Updated last year
- A hex editor widget for Qt5☆10Feb 8, 2016Updated 10 years ago
- ☆12Nov 22, 2024Updated last year
- sshkit/rake in Golang☆10May 11, 2025Updated 9 months ago
- Codes for NIPS 2019 Paper: Rethinking Kernel Methods for Node Representation Learning on Graphs☆34Feb 20, 2020Updated 5 years ago
- Relation algebra library for Coq☆50Jan 27, 2026Updated 3 weeks ago
- EasyTPP: Towards Open Benchmarking Temporal Point Processes☆333Dec 2, 2025Updated 2 months ago
- ☆56Apr 25, 2025Updated 9 months ago
- Implementation of "Intensity-Free Learning of Temporal Point Processes" (Spotlight @ ICLR 2020)☆88Feb 1, 2021Updated 5 years ago
- ☆97Mar 5, 2023Updated 2 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 5 years ago
- ☆14Updated this week