Cover Image

Retrieval-Augmented Mining of Temporal Logic Specifications from Data

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Saveri, Gaia, Bortolussi, Luca
Format:	Preprint
Published:	2024
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards Interpretable Concept Learning over Time Series via Temporal Logic Semantics
by: Ferfoglia, Irene, et al.
Published: (2025)

Guided by Stars: Interpretable Concept Learning Over Time Series via Temporal Logic Semantics
by: Ferfoglia, Irene, et al.
Published: (2025)

ECATS: Explainable-by-design concept-based anomaly detection for time series
by: Ferfoglia, Irene, et al.
Published: (2024)

Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers
by: Candussio, Sara, et al.
Published: (2025)

Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic
by: Candussio, Sara, et al.
Published: (2026)

stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
by: Saveri, Gaia, et al.
Published: (2024)

Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic
by: Bonin, Lorenzo, et al.
Published: (2026)

Graph-Conditional Flow Matching for Relational Data Generation
by: Scassola, Davide, et al.
Published: (2025)

Timeseria: an object-oriented time series processing library
by: Russo, Stefano Alberto, et al.
Published: (2024)

When Can You Trust Your Explanations? A Robustness Analysis on Feature Importances
by: Vascotto, Ilaria, et al.
Published: (2024)

Beyond single-model XAI: aggregating multi-model explanations for enhanced trustworthiness
by: Vascotto, Ilaria, et al.
Published: (2025)

Fast ML-driven Analog Circuit Layout using Reinforcement Learning and Steiner Trees
by: Basso, Davide, et al.
Published: (2024)

Scaling Combinatorial Optimization Neural Improvement Heuristics with Online Search and Adaptation
by: Verdù, Federico Julian Camerota, et al.
Published: (2024)

Zero-Shot Conditioning of Score-Based Diffusion Models by Neuro-Symbolic Constraints
by: Scassola, Davide, et al.
Published: (2023)

Assessing reliability of explanations in unbalanced datasets: a use-case on the occurrence of frost events
by: Vascotto, Ilaria, et al.
Published: (2025)

Blending adversarial training and representation-conditional purification via aggregation improves adversarial robustness
by: Ballarin, Emanuele, et al.
Published: (2023)

Advancing Routing-Awareness in Analog ICs Floorplanning
by: Basso, Davide, et al.
Published: (2025)

CoCAI: Copula-based Conformal Anomaly Identification for Multivariate Time-Series
by: Pearson, Nicholas A., et al.
Published: (2025)

STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
by: Kapoor, Parv, et al.
Published: (2025)

Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning
by: Guo, Zijian, et al.
Published: (2024)

A Sobering Look at Tabular Data Generation via Probabilistic Circuits
by: Scassola, Davide, et al.
Published: (2026)

Effective Analog ICs Floorplanning with Relational Graph Neural Networks and Reinforcement Learning
by: Basso, Davide, et al.
Published: (2024)

Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning
by: Bozkurt, Alper Kamil, et al.
Published: (2019)

Retrieval Augmented Deep Anomaly Detection for Tabular Data
by: Thimonier, Hugo, et al.
Published: (2024)

Diffusion-based Time Series Forecasting for Sewerage Systems
by: Pearson, Nicholas A., et al.
Published: (2025)

Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications
by: Wang, Jun, et al.
Published: (2023)

Enhancing Domain-Specific Retrieval-Augmented Generation: Synthetic Data Generation and Evaluation using Reasoning Models
by: Jadon, Aryan, et al.
Published: (2025)

RAST: A Retrieval Augmented Spatio-Temporal Framework for Traffic Prediction
by: Ruan, Weilin, et al.
Published: (2025)

On the Robustness of Bayesian Neural Networks to Adversarial Attacks
by: Bortolussi, Luca, et al.
Published: (2022)

Temporal Pattern Mining for Analysis of Longitudinal Clinical Data: Identifying Risk Factors for Alzheimer's Disease
by: Spooner, Annette, et al.
Published: (2022)

ResiDual Transformer Alignment with Spectral Decomposition
by: Basile, Lorenzo, et al.
Published: (2024)

Retrieve, Merge, Predict: Augmenting Tables with Data Lakes
by: Cappuzzo, Riccardo, et al.
Published: (2024)

Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba
by: Işık, İlker, et al.
Published: (2024)

MINER: Mining Multimodal Internal Representation for Efficient Retrieval
by: Li, Weien, et al.
Published: (2026)

Spatial-Temporal Data Mining for Ocean Science: Data, Methodologies, and Opportunities
by: Yang, Hanchen, et al.
Published: (2023)

Curriculum Negative Mining For Temporal Networks
by: Chen, Ziyue, et al.
Published: (2024)

Contrastive Learning-Based privacy metrics in Tabular Synthetic Datasets
by: Palacios, Milton Nicolás Plasencia, et al.
Published: (2025)

Retrieval-Augmented Generation Meets Data-Driven Tabula Rasa Approach for Temporal Knowledge Graph Forecasting
by: Sannidhi, Geethan, et al.
Published: (2024)

Learning Temporal Logic Predicates from Data with Statistical Guarantees
by: Soroka, Emi, et al.
Published: (2024)

Retrieval-Augmented Generation for Domain-Specific Question Answering: A Case Study on Pittsburgh and CMU
by: Sun, Haojia, et al.
Published: (2024)