Imagen de Portada

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Quansah, Paapa Kwesi, Bonnah, Ernest
Formato:	Preprint
Publicado:	2026
Materias:	Artificial Intelligence 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

SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic
por: Quansah, Paapa Kwesi, et al.
Publicado: (2026)

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

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation
por: Danso, Priscilla Kyei, et al.
Publicado: (2026)

Hyperproperty-Constrained Secure Reinforcement Learning
por: Bonnah, Ernest, et al.
Publicado: (2025)

A Neurosymbolic Approach to Natural Language Formalization and Verification
por: Bayless, Sam, et al.
Publicado: (2025)

Reasoning in Neurosymbolic AI
por: Tran, Son, et al.
Publicado: (2025)

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
por: Bizzaro, Davide, et al.
Publicado: (2025)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
por: Artale, Alessandro, et al.
Publicado: (2025)

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
por: Khalil, Khurram, et al.
Publicado: (2025)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
por: Xiao, Shengping, et al.
Publicado: (2024)

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation
por: Xu, Shaojun, et al.
Publicado: (2024)

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

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

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
por: Cabalar, Pedro, et al.
Publicado: (2026)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
por: Wang, Ruolin, et al.
Publicado: (2024)

ASP-Bench: From Natural Language to Logic Programs
por: Szeider, Stefan
Publicado: (2026)

Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
por: Brunello, Andrea, et al.
Publicado: (2025)

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
por: Andresel, Medina, et al.
Publicado: (2026)

Neurosymbolic Decision Trees
por: Möller, Matthias, et al.
Publicado: (2025)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
por: Aria, Hadi Partovi, et al.
Publicado: (2026)

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
por: He, Haoyuan, et al.
Publicado: (2022)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
por: Bourgaux, Camille, et al.
Publicado: (2025)

A Horn extension of DL-Lite with NL data complexity
por: Arpasi, Janos, et al.
Publicado: (2026)

Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives
por: Zhou, Can, et al.
Publicado: (2026)

Shield Synthesis for LTL Modulo Theories
por: Rodriguez, Andoni, et al.
Publicado: (2024)

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
por: Schön, Oliver, et al.
Publicado: (2026)

Dynamic Logic of Trust-Based Beliefs
por: Jiang, Junli, et al.
Publicado: (2025)

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
por: Allen, Bradley P., et al.
Publicado: (2025)

Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents
por: Mensfelt, Agnieszka, et al.
Publicado: (2024)

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

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
por: Sharifi, Iman, et al.
Publicado: (2026)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
por: Alhessi, Yousef, et al.
Publicado: (2025)

BayesL: a Logical Framework for the Verification of Bayesian Networks
por: Nicoletti, Stefano M., et al.
Publicado: (2025)

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

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
por: DeLong, Lauren Nicole, et al.
Publicado: (2023)

ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees
por: Sundarsingh, David Smith, et al.
Publicado: (2025)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
por: Zhang, Maifang, et al.
Publicado: (2026)

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

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
por: Spaans, Jeroen, et al.
Publicado: (2025)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
por: Bloch, Isabelle, et al.
Publicado: (2025)