Research map / Time series / Foundation models for time series
Differentiable Rule Induction from Raw Sequence Inputs
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 Neural Rule Learner (NeurRL), a fully differentiable ILP pipeline that couples a self-supervised differentiable k-means over autoencoder subsequence embeddings with a deep dense-layer rule learner to induce rules directly from raw time series and flattened images without label leakage.
Problem
Differentiable ILP methods rely on symbolic inputs and pre-trained supervised networks to produce symbols, causing explicit label leakage; learning logic rules directly from raw sequences (time series, images) without intermediate feature labels is hard.
Approach
Discretize raw sequences into cluster-based ground atoms via a self-supervised autoencoder with differentiable k-means, and jointly train this with a novel dense-layer neural rule-learning module (softmax-weighted conjunctions and a fuzzy disjunction) using only the class label, then extract rules from the program tensor with precision/recall thresholds.
Key results
- On 13 binary UCR datasets, NeurRL(N) achieves mean accuracy 0.891 vs 0.859 for SSSL, 0.842 for NeurRL(R), 0.801 for BoW, and 0.718 for Xu, with the best result on 7 datasets.
- Differentiable k-means reduces running time versus non-differentiable k-means (e.g., Coffee 42s vs 313s, Lighting2 120s vs 1166s), with accuracy similar in most cases but worse on Gun point (0.740 vs 0.807).
- Learned rule on ECG reaches precision 0.83 and recall 0.89; rule on ItalyPow.Dem. reaches precision 0.99 and recall 0.90.
Measured effects reported in the paper
| What was changed | Where | Measured | Effect |
|---|---|---|---|
| Use NeurRL(N) rather than the strongest baseline | 13 binary UCR datasets · 13 binary UCR datasets (mean) | accuracy: 0.859 -> 0.891 | Helped |
| Use rule-extracted NeurRL(R) rather than NeurRL(N) | NeurRL · 13 binary UCR datasets (mean) | accuracy: 0.891 -> 0.842 | Hurt |
| Replace non-differentiable k-means with differentiable k-means (ablation) | NeurRL · Coffee | accuracy: 0.893 -> 0.964 | Helped |
| Replace non-differentiable k-means with differentiable k-means (ablation) | NeurRL · Gun point | accuracy: 0.807 -> 0.740 | Hurt |
| Replace non-differentiable k-means with differentiable k-means (ablation) | NeurRL · ItalyPow.Dem. | running time (s): 114 -> 63 | Helped |
| Pre-train the autoencoder and clustering model (ablation) | NeurRL(N) · Coffee | accuracy: 0.83 -> 1.00 | Helped |
| Pre-train the autoencoder and clustering model (ablation) | NeurRL(R) · ECG | accuracy: 0.64 -> 0.82 | Helped |
| Pre-train the autoencoder and clustering model (ablation) | NeurRL(N) · ItalyPow.Dem. | accuracy: 0.75 -> 0.92 | Helped |
| Pre-train the autoencoder and clustering model (ablation) | NeurRL(R) · Gun Point | accuracy: 0.43 -> 0.76 | Helped |
| Pre-train the autoencoder and clustering model (ablation) | NeurRL(N) · Lighting2 | accuracy: 0.64 -> 0.75 | Helped |
| Vary the subsequence length (ablation) | NeurRL · ItalyPow.Dem. | accuracy | Mixed |
| Vary the number of clusters or region length (ablation) | NeurRL · ECG and ItalyPow.Dem. | accuracy | Mixed |
Surprising findings
- Pre-training the autoencoder and clustering model improves accuracy but on Coffee the no-pretraining variant is much faster (30s vs 42s), and on some datasets the non-differentiable k-means is more accurate (Gun point).
Limitations
- Rules are extracted via thresholds and kept only if high precision; rule-extracted accuracy NeurRL(R) is lower than the neural module NeurRL(N) on several datasets.
- Accuracy is sensitive to hyperparameters (subsequence length, number of clusters, regions), especially for short series like ItalyPow.Dem.
- Evaluated only on binary-class tasks and small-scale image data (MNIST one-vs-one pairs).
Experimental setup
Datasets: UCR time series archive (13 datasets) MNIST synthetic triangular pulse and trigonometric signals
Benchmarks: UCR time series archive (13 binary datasets) MNIST (one-vs-one digit tasks) synthetic signals
Metrics: classification accuracy precision recall running time (s)
Baselines: SSSL Xu BoW non-differentiable k-means pipeline
Builds on: differentiable ILP (neural ILP from interpretation transitions) differentiable k-means ∂ILP SSSL
Closest papers by meaning
- Learn to Explain Efficiently via Neural Logic Inductive Learning (ICLR 2020 · similarity 0.88)
- Differentiable learning of numerical rules in knowledge graphs (ICLR 2020 · similarity 0.86)
- GeoILP: A Synthetic Dataset to Guide Large-Scale Rule Induction (ICLR 2025 · similarity 0.86)
- Differentiable Inductive Logic Programming for Structured Examples (AAAI 2021 · similarity 0.86)
- Inductive Learning of Logical Theories with LLMs: A Expressivity-graded Analysis (AAAI 2025 · similarity 0.84)
- Neuro-Symbolic Temporal Point Processes (ICML 2024 · similarity 0.83)
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.
