Cover Image

Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers

Fuente: arXiv

Saved in:

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

Similar Items

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)

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

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

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)

Transformers in the Service of Description Logic-based Contexts
by: Poulis, Angelos, et al.
Published: (2023)

Legal2LogicICL: Improving Generalization in Transforming Legal Cases to Logical Formulas via Diverse Few-Shot Learning
by: Xue, Jieying, et al.
Published: (2026)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
by: Farjami, Ali, et al.
Published: (2026)

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond
by: Liu, Junteng, et al.
Published: (2025)

Enhancing Transformers for Generalizable First-Order Logical Entailment
by: Zheng, Tianshi, et al.
Published: (2025)

Logic Agent: Enhancing Validity with Logic Rule Invocation
by: Liu, Hanmeng, et al.
Published: (2024)

Temporal Ensemble Logic
by: Zhang, Guo-Qiang
Published: (2024)

Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs
by: English, William, et al.
Published: (2025)

DateLogicQA: Benchmarking Temporal Biases in Large Language Models
by: Bhatia, Gagan, et al.
Published: (2024)

The Transformation Logics
by: Ronca, Alessandro
Published: (2023)

LoSemB: Logic-Guided Semantic Bridging for Inductive Tool Retrieval
by: Zhuang, Luyao, et al.
Published: (2025)

Understanding Enthymemes in Argument Maps: Bridging Argument Mining and Logic-based Argumentation
by: Ben-Naim, Jonathan, et al.
Published: (2024)

MultiZebraLogic: A Multilingual Logical Reasoning Benchmark
by: Bruun, Sofie Helene, et al.
Published: (2025)

LogicPoison: Logical Attacks on Graph Retrieval-Augmented Generation
by: Xiao, Yilin, et al.
Published: (2026)

ReportLogic: Evaluating Logical Quality in Deep Research Reports
by: Zhao, Jujia, et al.
Published: (2026)

LogicPrpBank: A Corpus for Logical Implication and Equivalence
by: Liu, Zhexiong, et al.
Published: (2024)

Transformer-based Language Models for Reasoning in the Description Logic ALCQ
by: Poulis, Angelos, et al.
Published: (2024)

Assessing Logical Reasoning Capabilities of Encoder-Only Transformer Models
by: Pirozelli, Paulo, et al.
Published: (2023)

A Dialectic Pipeline for Improving LLM Robustness
by: Candussio, Sara
Published: (2026)

GinSign: Grounding Natural Language Into System Signatures for Temporal Logic Translation
by: English, William, et al.
Published: (2025)

Compositional Consistency-Guided Decoding for Three-Way Logical Question Answering
by: Huang, Tianyi, et al.
Published: (2026)

Logic Augmented Generation
by: Gangemi, Aldo, et al.
Published: (2024)

Abstract Meaning Representation-Based Logic-Driven Data Augmentation for Logical Reasoning
by: Bao, Qiming, et al.
Published: (2023)

Teaching Probabilistic Logical Reasoning to Transformers
by: Nafar, Aliakbar, et al.
Published: (2023)

LogicGuard: Improving Embodied LLM agents through Temporal Logic based Critics
by: Gokhale, Anand, et al.
Published: (2025)

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
by: Roy, Rajarshi, et al.
Published: (2025)

Logic Jailbreak: Efficiently Unlocking LLM Safety Restrictions Through Formal Logical Expression
by: Peng, Jingyu, et al.
Published: (2025)

LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models
by: Parmar, Mihir, et al.
Published: (2024)

Lost in the Logic: An Evaluation of Large Language Models' Reasoning Capabilities on LSAT Logic Games
by: Malik, Saumya
Published: (2024)

Bridging Legal Interpretation and Formal Logic: Faithfulness, Assumption, and the Future of AI Legal Reasoning
by: Wang, Olivia Peiyu, et al.
Published: (2026)

Non Verbis, Sed Rebus: Large Language Models are Weak Solvers of Italian Rebuses
by: Sarti, Gabriele, et al.
Published: (2024)

Understanding Inter-Session Intentions via Complex Logical Reasoning
by: Bai, Jiaxin, et al.
Published: (2023)

Thought-Path Contrastive Learning via Premise-Oriented Data Augmentation for Logical Reading Comprehension
by: Wang, Chenxu, et al.
Published: (2024)

Logical Structure as Knowledge: Enhancing LLM Reasoning via Structured Logical Knowledge Density Estimation
by: Bi, Zhen, et al.
Published: (2025)