atlas

Research map / Architectures and efficiency / RNNs and normalization

Neuro-Symbolic Temporal Point Processes

ICML 2024 · Architectures and efficiency › RNNs and normalization · approach: Neural-symbolic reasoning · 0 citations (OpenAlex)

Read the paperCheck your idea against 108,967 papers

AI-extracted summary. Written by AI from the paper's full text. Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.

Proposes NS-TPP, a neural-symbolic temporal point process that learns temporal logic rules end-to-end via differentiable rule embeddings and a sequential covering algorithm, reporting much faster rule learning than TELLER and CLUSTER.

Problem

Discovering compact, interpretable temporal logic rules that explain irregular event occurrences, which existing methods either prespecify, learn non-differentiably, or run too slowly.

Approach

Represent predicates as fixed embeddings and rules as learnable rule embeddings that act as soft-attention-like filters selecting predicates and temporal relations; the intensity is built from these logic-informed features and trained by negative log-likelihood, with rules added one at a time via sequential covering and then jointly refined.

Key results

Measured effects reported in the paper

What was changedWhereMeasuredEffect
Use NS-TPP instead of CLUSTERSynthetic Group-3 event time prediction · Synthetic Group-3 (20,000 samples)event time prediction MAE: 26.0351 -> 24.8616Helped
Use NS-TPP instead of CLUSTERCar-Following event time prediction · Car-Followingevent time prediction MAE: 3.7255 -> 3.1614Helped
Use NS-TPP instead of CLUSTERLowUrine event time prediction · LowUrineevent time prediction MAE: 2.3675 -> 2.3262Helped
Use NS-TPP instead of TELLER and CLUSTERSynthetic temporal logic rule mining · Synthetic datasetsrule-learning accuracy: 49% to 93%Helped
Use NS-TPP instead of TELLER and CLUSTERSynthetic temporal logic rule mining · Synthetic datasetstraining speedup: 112-fold speedupHelped

Limitations

Experimental setup

Datasets: Synthetic temporal rule datasets (Groups 1-3) Car-Following MIMIC-IV LowUrine

Benchmarks: Synthetic Group 1-3 datasets Car-Following MIMIC-IV LowUrine

Metrics: rule recovery accuracy running time MAE of rule weights event time prediction MAE log-likelihood

Baselines: THP RMTPP ERPP GCH LG-NPP GM-NLF TELLER CLNN CLUSTER

Builds on: Transformer Hawkes Process TELLER CLUSTER

Closest papers by meaning

Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.

Open scime draft

Get the next scime Dispatch and a monthly field update

Free. We send a confirmation link first; every email has a one-click unsubscribe. Privacy