Cover Image

Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Candussio, Sara, Sarti, Gabriele, Saveri, Gaia, Bortolussi, Luca
Format:	Preprint
Published:	2026
Subjects:	Computation and Language Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic
by: Fushimi, Kosei, et al.
Published: (2026)

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

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
by: Chen, Michael K.
Published: (2025)

Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems
by: Bui, Tuan, et al.
Published: (2025)

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

LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
by: Xu, Weidi, et al.
Published: (2023)

Relations, Negations, and Numbers: Looking for Logic in Generative Text-to-Image Models
by: Conwell, Colin, et al.
Published: (2024)

Symbolic-Neural Soft-Logic Reasoning: Towards Robust and Verifiable Thinking Chains via Cooperative Evolution
by: Wang, Rui, et al.
Published: (2026)

A Neuro-Symbolic Approach to Monitoring Salt Content in Food
by: Tayal, Anuja, et al.
Published: (2024)

Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic
by: Zhao, Xufeng, et al.
Published: (2023)

Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
by: Shrager, Jeff
Published: (2026)

Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning
by: Hao, Yilun, et al.
Published: (2025)

Verified Language Processing with Hybrid Explainability: A Technical Report
by: Fox, Oliver Robert, et al.
Published: (2025)

Improving Neural-based Classification with Logical Background Knowledge
by: Ledaguenel, Arthur, et al.
Published: (2024)

Access Hoare Logic
by: Beckmann, Arnold, et al.
Published: (2025)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
by: Kutsia, Temur, et al.
Published: (2024)

Simulating Petri nets with Boolean Matrix Logic Programming
by: Ai, Lun, et al.
Published: (2024)

DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems
by: Zhang, Meiru, et al.
Published: (2025)

Evaluating Task-Oriented Dialogue Consistency through Constraint Satisfaction
by: Labruna, Tiziano, et al.
Published: (2024)

FORM: Learning Expressive and Transferable First-Order Logic Reward Machines
by: Ardon, Leo, et al.
Published: (2024)

ONSEP: A Novel Online Neural-Symbolic Framework for Event Prediction Based on Large Language Model
by: Yu, Xuanqing, et al.
Published: (2024)

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
by: Kop, Cynthia, et al.
Published: (2025)

Boolean Matrix Logic Programming on the GPU
by: Ai, Lun
Published: (2024)

Formal Verification of Neural Certificates Done Dynamically
by: Henzinger, Thomas A., et al.
Published: (2025)

A Flow Extension to Coroutine Types for Deadlock Detection in Go
by: Gu, Qiqi Jason, et al.
Published: (2026)

Relating the Computational and Logical Difficulty of Solving ODEs: From Polynomial to Discontinuous Right-Hand Sides
by: Bournez, Olivier, et al.
Published: (2026)

Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
by: Zhang, Naifeng, et al.
Published: (2025)

Power Term Polynomial Algebra for Boolean Logic
by: Sansone, Emanuele, et al.
Published: (2026)

Integrating Fuzzy Logic into Deep Symbolic Regression
by: Gerdes, Wout, et al.
Published: (2024)

Visual Set Program Synthesizer
by: Cheng, Zehua, et al.
Published: (2026)

Introducing Quantification into a Hierarchical Graph Rewriting Language
by: Mishina, Haruto, et al.
Published: (2024)

Strided Difference Bound Matrices
by: Pitchanathan, Arjun, et al.
Published: (2024)

Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent
by: Buali, Mahdi, et al.
Published: (2024)

YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation
by: Tang, Xuan, et al.
Published: (2026)

Jet Expansions of Residual Computation
by: Chen, Yihong, et al.
Published: (2024)

A New Hybrid Intelligent Approach for Multimodal Detection of Suspected Disinformation on TikTok
by: Guerrero-Sosa, Jared D. T., et al.
Published: (2025)

Differentiable Weightless Controllers: Learning Logic Circuits for Continuous Control
by: Kresse, Fabian, et al.
Published: (2025)

Quantum Knowledge Graph: Modeling Context-Dependent Triplet Validity
by: Wang, Yao, et al.
Published: (2026)

AbstRaL: Augmenting LLMs' Reasoning by Reinforcing Abstract Thinking
by: Gao, Silin, et al.
Published: (2025)