Buchumschlag

Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cornelio, Cristina, Diab, Mohammed
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence Machine Learning Logic in Computer Science Robotics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach
von: Sharifi, Iman, et al.
Veröffentlicht: (2023)

Formal Explanations for Neuro-Symbolic AI
von: Paul, Sushmita, et al.
Veröffentlicht: (2024)

$Π$-NeSy: A Possibilistic Neuro-Symbolic Approach
von: Baaj, Ismaïl, et al.
Veröffentlicht: (2025)

Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
von: Rothkopf, Raven, et al.
Veröffentlicht: (2024)

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
von: He, Haoyuan, et al.
Veröffentlicht: (2022)

AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents
von: Shahid, Mahnoor, et al.
Veröffentlicht: (2026)

Shield Synthesis for LTL Modulo Theories
von: Rodriguez, Andoni, et al.
Veröffentlicht: (2024)

Learning Optimal Strategies for Temporal Tasks in Stochastic Games
von: Bozkurt, Alper Kamil, et al.
Veröffentlicht: (2021)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
von: Zhang, Maifang, et al.
Veröffentlicht: (2026)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
von: Meng, Yue, et al.
Veröffentlicht: (2025)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
von: Meng, Yue, et al.
Veröffentlicht: (2025)

Model Predictive Robustness of Signal Temporal Logic Predicates
von: Lin, Yuanfei, et al.
Veröffentlicht: (2022)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
von: Balakrishnan, Anand, et al.
Veröffentlicht: (2022)

Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems
von: Shahid, Mahnoor, et al.
Veröffentlicht: (2026)

Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies
von: Baugh, Kexin Gu, et al.
Veröffentlicht: (2025)

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

Efficient Dynamic Shielding for Parametric Safety Specifications
von: Corsi, Davide, et al.
Veröffentlicht: (2025)

Value Functions for Temporal Logic: Optimal Policies and Safety Filters
von: So, Oswin, et al.
Veröffentlicht: (2026)

Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review
von: Ciatto, Giovanni, et al.
Veröffentlicht: (2025)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
von: Alhessi, Yousef, et al.
Veröffentlicht: (2025)

Neuro-Symbolic Compliance: Integrating LLMs and SMT Solvers for Automated Financial Legal Analysis
von: Hsia, Yung-Shen, et al.
Veröffentlicht: (2026)

A Formal Framework for Robot Construction Problems: A Hybrid Planning Approach
von: Ahmad, Faseeh, et al.
Veröffentlicht: (2019)

RLSF: Fine-tuning LLMs via Symbolic Feedback
von: Jha, Piyush, et al.
Veröffentlicht: (2024)

Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verification
von: Cornelio, Cristina, et al.
Veröffentlicht: (2025)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
von: Flinkow, Thomas, et al.
Veröffentlicht: (2026)

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
von: Zhang, Xiyue, et al.
Veröffentlicht: (2024)

Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
von: Majkic, Zoran
Veröffentlicht: (2026)

Taming Silent Failures: A Framework for Verifiable AI Reliability
von: Yang, Guan-Yan, et al.
Veröffentlicht: (2025)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2024)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
von: Miya, Shinobu
Veröffentlicht: (2025)

Rule-Based Error Detection and Correction to Operationalize Movement Trajectory Classification
von: Xi, Bowen, et al.
Veröffentlicht: (2023)

A Multimodal Framework for Deepfake Detection
von: Gandhi, Kashish, et al.
Veröffentlicht: (2024)

SMLP: Symbolic Machine Learning Prover
von: Brauße, Franz, et al.
Veröffentlicht: (2024)

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
von: Luckcuck, Matt, et al.
Veröffentlicht: (2024)

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

Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
von: Luckcuck, Matt, et al.
Veröffentlicht: (2025)

Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback
von: Meli, Daniele, et al.
Veröffentlicht: (2025)

Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
von: Rizwan, Momina, et al.
Veröffentlicht: (2020)

ReAct! An Interactive Tool for Hybrid Planning in Robotics
von: Dogmus, Zeynep, et al.
Veröffentlicht: (2013)

Neuro-Symbolic Predictive Process Monitoring
von: Mezini, Axel, et al.
Veröffentlicht: (2025)