Copertina

stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Saveri, Gaia, Nenzi, Laura, Bortolussi, Luca, Křetínský, Jan
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

Retrieval-Augmented Mining of Temporal Logic Specifications from Data
di: Saveri, Gaia, et al.
Pubblicazione: (2024)

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

Evaluating the printability of stl files with ML
di: Henn, Janik, et al.
Pubblicazione: (2025)

gpuRDF2vec -- Scalable GPU-based RDF2vec
di: Böckling, Martin, et al.
Pubblicazione: (2025)

Explainable Representation of Finite-Memory Policies for POMDPs using Decision Trees
di: Azeem, Muqsit, et al.
Pubblicazione: (2024)

Learning Explainable and Better Performing Representations of POMDP Strategies
di: Bork, Alexander, et al.
Pubblicazione: (2024)

SemML 2.0: Synthesizing Controllers for LTL
di: Křetínský, Jan, et al.
Pubblicazione: (2026)

Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions
di: Abate, Alessandro, et al.
Pubblicazione: (2026)

MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints
di: Bals, Severin, et al.
Pubblicazione: (2023)

mini-vec2vec: Scaling Universal Geometry Alignment with Linear Transformations
di: Dar, Guy
Pubblicazione: (2025)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
di: Grobelna, Marta, et al.
Pubblicazione: (2025)

SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning
di: Kretinsky, Jan, et al.
Pubblicazione: (2025)

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

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

A Logic of General Attention Using Edge-Conditioned Event Models (Extended Version)
di: Belardinelli, Gaia, et al.
Pubblicazione: (2025)

AV-data2vec: Self-supervised Learning of Audio-Visual Speech Representations with Contextualized Target Representations
di: Lian, Jiachen, et al.
Pubblicazione: (2023)

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

Conformal Predictive Monitoring for Multi-Modal Scenarios
di: Cairoli, Francesca, et al.
Pubblicazione: (2025)

Explaining Control Policies through Predicate Decision Diagrams
di: Chakraborty, Debraj, et al.
Pubblicazione: (2025)

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

Ethics2vec: aligning automatic agents and human preferences
di: Bontempi, Gianluca
Pubblicazione: (2025)

ffstruc2vec: Flat, Flexible and Scalable Learning of Node Representations from Structural Identities
di: Heidrich, Mario, et al.
Pubblicazione: (2025)

Exploiting Hybrid Policy in Reinforcement Learning for Interpretable Temporal Logic Manipulation
di: Zhang, Hao, et al.
Pubblicazione: (2024)

Zero-Shot Signal Temporal Logic Planning with Disjunctive Branch Selection in Dynamic Semantic Maps
di: Ye, Bowen, et al.
Pubblicazione: (2026)

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

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

Semantic-Enhanced Representation Learning for Road Networks with Temporal Dynamics
di: Chen, Yile, et al.
Pubblicazione: (2024)

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

Task2vec Readiness: Diagnostics for Federated Learning from Pre-Training Embeddings
di: Mafuz, Cristiano, et al.
Pubblicazione: (2026)

From melodic note sequences to pitches using word2vec
di: Defays, Daniel
Pubblicazione: (2024)

Talking with Verifiers: Automatic Specification Generation for Neural Network Verification
di: Elboher, Yizhak Y., et al.
Pubblicazione: (2026)

Normalization through Fine-tuning: Understanding Wav2vec 2.0 Embeddings for Phonetic Analysis
di: Wang, Yiming, et al.
Pubblicazione: (2025)

A Logic of Uncertain Interpretation
di: Bjorndahl, Adam
Pubblicazione: (2025)

Semantic Recall for Vector Search
di: Kuffo, Leonardo, et al.
Pubblicazione: (2026)

Enhancing Reinforcement Learning for the Floorplanning of Analog ICs with Beam Search
di: Della Rovere, Sandro Junior, et al.
Pubblicazione: (2025)

Monitizer: Automating Design and Evaluation of Neural Network Monitors
di: Azeem, Muqsit, et al.
Pubblicazione: (2024)