Imagen de Portada

Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Işık, İlker, Gol, Ebru Aydin, Cinbis, Ramazan Gokberk
Formato:	Preprint
Publicado:	2024
Materias:	Computation and Language Machine Learning Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence
por: Işık, İlker, et al.
Publicado: (2024)

Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning
por: Işık, İlker, et al.
Publicado: (2026)

Counting Like Transformers: Compiling Temporal Counting Logic Into Softmax Transformers
por: Yang, Andy, et al.
Publicado: (2024)

The Role of Logic and Automata in Understanding Transformers
por: Lin, Anthony W., et al.
Publicado: (2025)

Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
por: Guzmán, Manuel Vargas, et al.
Publicado: (2025)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
por: Flinkow, Thomas, et al.
Publicado: (2026)

On the Expressiveness of State Space Models via Temporal Logics
por: Alsmann, Eric, et al.
Publicado: (2026)

Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning
por: Tasse, Geraud Nangue, et al.
Publicado: (2022)

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
por: Mukherji, Kaustuv, et al.
Publicado: (2025)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
por: Olivieri, Pierriccardo, et al.
Publicado: (2026)

Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
por: Lalwani, Abhinav, et al.
Publicado: (2024)

Conformal Signal Temporal Logic for Robust Reinforcement Learning Control: A Case Study
por: Beirami, Hani, et al.
Publicado: (2026)

Branch and Bound for Piecewise Linear Neural Network Verification
por: Bunel, Rudy, et al.
Publicado: (2019)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
por: Mannucci, Mirco A.
Publicado: (2025)

TLINet: Differentiable Neural Network Temporal Logic Inference
por: Li, Danyang, et al.
Publicado: (2024)

FLARE: Faithful Logic-Aided Reasoning and Exploration
por: Arakelyan, Erik, et al.
Publicado: (2024)

The Geometry of Reasoning: Flowing Logics in Representation Space
por: Zhou, Yufa, et al.
Publicado: (2025)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
por: Chevallier, Mark, et al.
Publicado: (2025)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
por: Meli, Daniele, et al.
Publicado: (2024)

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

Transformers Can Learn Connectivity in Some Graphs but Not Others
por: Roy, Amit, et al.
Publicado: (2025)

Boolformer: Symbolic Regression of Logic Functions with Transformers
por: d'Ascoli, Stéphane, et al.
Publicado: (2023)

Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP
por: Baudart, Guillaume, et al.
Publicado: (2026)

Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control
por: Murphy, William, et al.
Publicado: (2024)

Are Language Models Efficient Reasoners? A Perspective from Logic Programming
por: Opedal, Andreas, et al.
Publicado: (2025)

The Expressive Power of Transformers with Chain of Thought
por: Merrill, William, et al.
Publicado: (2023)

JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models
por: Chen, Michael K., et al.
Publicado: (2025)

Controlling Logical Collapse in LLMs via Algebraic Ontology Projection over F2
por: Miyashita, Hisashi, et al.
Publicado: (2026)

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
por: Wei, Anjiang, et al.
Publicado: (2025)

Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models
por: Qasim, Kaleem Ullah, et al.
Publicado: (2025)

Conflict-Aware Fusion: Mitigating Logic Inertia in Large Language Models via Structured Cognitive Priors
por: Bao, Qiming, et al.
Publicado: (2025)

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

Policy-based Tuning of Autoregressive Image Models with Instance- and Distribution-Level Rewards
por: Baran, Orhun Buğra, et al.
Publicado: (2026)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
por: Sälzer, Marco, et al.
Publicado: (2025)

Self-Supervised Transformers as Iterative Solution Improvers for Constraint Satisfaction
por: Xu, Yudong W., et al.
Publicado: (2025)

Machine Learning Model Integration with Open World Temporal Logic for Process Automation
por: Aditya, Dyuman, et al.
Publicado: (2025)

Process-Driven Autoformalization in Lean 4
por: Lu, Jianqiao, et al.
Publicado: (2024)

Process discovery on deviant traces and other stranger things
por: Chesani, Federico, et al.
Publicado: (2021)

MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents
por: Anand, Ashwani, et al.
Publicado: (2026)

Quantifying Logical Consistency in Transformers via Query-Key Alignment
por: Tulchinskii, Eduard, et al.
Publicado: (2025)