Copertina

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chevallier, Mark, Smola, Filip, Schmoetten, Richard, Fleuriot, Jacques D.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence Machine Learning Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning
di: Chevallier, Mark, et al.
Pubblicazione: (2025)

A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes
di: Contreras, Ricardo, et al.
Pubblicazione: (2025)

A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL
di: Schmoetten, Richard, et al.
Pubblicazione: (2024)

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

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
di: Quansah, Paapa Kwesi, et al.
Pubblicazione: (2026)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
di: Wang, David, et al.
Pubblicazione: (2025)

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

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

Rethinking Explanations: Formalizing Contrast in Description Logics
di: Mahmood, Yasir, et al.
Pubblicazione: (2026)

Formally Verified Approximate Policy Iteration
di: Schäffeler, Maximilian, et al.
Pubblicazione: (2024)

Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces
di: Foldvik, Simon
Pubblicazione: (2026)

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

Temporal Model On Quantum Logic
di: D'Agostino, Francesco
Pubblicazione: (2025)

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

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

Categorical Construction of Logically Verifiable Neural Architectures
di: Nye, Logan
Pubblicazione: (2025)

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

MARS: A neurosymbolic approach for interpretable drug discovery
di: DeLong, Lauren Nicole, et al.
Pubblicazione: (2024)

Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
di: Olson, Taylor
Pubblicazione: (2026)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
di: Howlader, Prosenjit, 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)

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

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

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

Deontic Temporal Logic for Formal Verification of AI Ethics
di: V., Priya T., et al.
Pubblicazione: (2025)

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

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
di: Zang, Zhengqing, et al.
Pubblicazione: (2026)

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

Learning Formal Mathematics From Intrinsic Motivation
di: Poesia, Gabriel, et al.
Pubblicazione: (2024)

VEL: A Formally Verified Reasoner for OWL2 EL Profile
di: Ileri, Atalay Mert, et al.
Pubblicazione: (2024)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
di: Ramirez, Miquel, et al.
Pubblicazione: (2024)

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

Logic Tensor Network-Enhanced Generative Adversarial Network
di: Upreti, Nijesh, et al.
Pubblicazione: (2026)

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
di: King, Daragh, et al.
Pubblicazione: (2025)

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

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

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

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

Automata Linear Dynamic Logic on Finite Traces
di: Smith, Kevin W., et al.
Pubblicazione: (2021)

SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
di: Zhao, Yanxiao, et al.
Pubblicazione: (2025)