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)☆61Dec 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☆16Feb 10, 2020Updated 6 years ago
- code submission to NeurIPS2019☆13Aug 9, 2023Updated 2 years ago
- Paper lists for Temporal Point Process☆120Jul 4, 2025Updated 8 months ago
- Go module for the MCP2221A USB to I²C/UART Protocol Converter with GPIO☆21Jul 2, 2025Updated 8 months ago
- A list of papers for group meeting☆19Jan 5, 2026Updated 2 months ago
- An encoder-decoder framework for learning from incomplete data☆45Jul 6, 2023Updated 2 years ago
- Code for "Long Horizon Forecasting With Temporal Point Processes", WSDM 2021☆21Feb 5, 2022Updated 4 years ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Nov 7, 2024Updated last year
- deep learning for math☆29May 4, 2019Updated 6 years ago
- An arbitrary-precision differentiable programming language.☆36Jul 7, 2023Updated 2 years ago
- ☆62Aug 25, 2020Updated 5 years ago
- Implementation of "Detecting Anomalous Event Sequences with Temporal Point Processes" (NeurIPS 2021)☆23Dec 30, 2021Updated 4 years ago
- ☆11Jan 8, 2025Updated last year
- Kanren with databases☆44Jul 30, 2024Updated last year
- A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).☆40Apr 19, 2018Updated 7 years ago
- ☆44Oct 27, 2025Updated 4 months ago
- Art of Prolog Code☆37Aug 28, 2019Updated 6 years ago
- ☆71Jun 12, 2020Updated 5 years ago
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 9 years ago
- MATLAB code for Stein Point Markov Chain Monte Carlo.☆13Jul 3, 2019Updated 6 years ago
- Generate Go bindings for shared C libraries.☆15Jul 13, 2024Updated last year
- ☆12Nov 22, 2024Updated last year
- Code for paper: Localized matrix factorization for recommendation based on matrix block diagonal forms☆10Jan 27, 2015Updated 11 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- dblp Knowledge Graph☆15Jan 16, 2025Updated last year
- ☆33Jul 27, 2025Updated 7 months ago
- A hex editor widget for Qt5☆10Feb 8, 2016Updated 10 years ago
- An application for comparing two binary files☆11Feb 22, 2019Updated 7 years ago
- Codes, datasets, and features for Dynamic Collaborative Filtering with Aesthetic Feature (DCFA)☆10Nov 21, 2018Updated 7 years ago
- Relation algebra library for Coq☆50Feb 17, 2026Updated 3 weeks ago
- Codes for NIPS 2019 Paper: Rethinking Kernel Methods for Node Representation Learning on Graphs☆34Feb 20, 2020Updated 6 years ago
- ☆56Apr 25, 2025Updated 10 months ago
- Learning the optimal transport map via input convex neural neworks☆42Jun 26, 2020Updated 5 years ago
- Implementation of "Intensity-Free Learning of Temporal Point Processes" (Spotlight @ ICLR 2020)☆88Feb 1, 2021Updated 5 years ago
- ☆97Mar 5, 2023Updated 3 years ago
- Minimum viable code for the Decodable Information Bottleneck paper. Pytorch Implementation.☆11Oct 20, 2020Updated 5 years ago