Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Quansah, Paapa Kwesi, Bonnah, Ernest
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

Reasoning in Neurosymbolic AI
di: Tran, Son, et al.
Pubblicazione: (2025)

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

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

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

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

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

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
di: Farjami, Ali, 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)

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

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

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

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

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

Neurosymbolic Decision Trees
di: Möller, Matthias, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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