Imagen de Portada

The STAR-XAI Protocol: A Framework for Inducing and Verifying Agency, Reasoning, and Reliability in AI Agents

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Guasch, Antoni, Valdez, Maria Isabel
Formato:	Preprint
Publicado:	2025
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

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
por: Rashid, Adnan
Publicado: (2026)

Taming Silent Failures: A Framework for Verifiable AI Reliability
por: Yang, Guan-Yan, et al.
Publicado: (2025)

Abductive Reasoning in a Paraconsistent Framework
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

Bridging LLMs and Symbolic Reasoning in Educational QA Systems: Insights from the XAI Challenge at IJCNN 2025
por: Nguyen, Long S. T., et al.
Publicado: (2025)

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

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
por: Orvalho, Pedro, et al.
Publicado: (2026)

Enhancing Framingham Cardiovascular Risk Score Transparency through Logic-Based XAI
por: Bezerra, Emannuel L. de A., et al.
Publicado: (2026)

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

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

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

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

Categorical Construction of Logically Verifiable Neural Architectures
por: Nye, Logan
Publicado: (2025)

From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
por: Vitali, Fabio
Publicado: (2025)

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
por: Pati, Viresh, et al.
Publicado: (2026)

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

interwhen: A Generalizable Framework for Steering Reasoning Models with Test-time Verification
por: Bhat, Vishak K, et al.
Publicado: (2026)

Circuit Representations of Random Forests with Applications to XAI
por: Ji, Chunxi, et al.
Publicado: (2026)

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
por: Zeng, Yankai, et al.
Publicado: (2024)

Upholding Epistemic Agency: A Brouwerian Assertibility Constraint for Responsible AI
por: Jülich, Michael
Publicado: (2026)

An XAI View on Explainable ASP: Methods, Systems, and Perspectives
por: Eiter, Thomas, et al.
Publicado: (2026)

LeanTutor: Towards a Verified AI Mathematical Proof Tutor
por: Patel, Manooshree, et al.
Publicado: (2025)

On Probabilistic and Causal Reasoning with Summation Operators
por: Ibeling, Duligur, et al.
Publicado: (2024)

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning
por: Tudor, Alexis R., et al.
Publicado: (2025)

Towards Compositional Interpretability for XAI
por: Tull, Sean, et al.
Publicado: (2024)

Formal Mathematical Reasoning: A New Frontier in AI
por: Yang, Kaiyu, et al.
Publicado: (2024)

Can Proof Assistants Verify Multi-Agent Systems?
por: Mendez, Julian Alfredo, et al.
Publicado: (2025)

Defeasible Reasoning on Concepts
por: Ding, Yiwen, et al.
Publicado: (2024)

A framework for Conditional Reasoning in Answer Set Programming
por: Alviano, Mario, et al.
Publicado: (2025)

Enhancing Analogical Reasoning in the Abstraction and Reasoning Corpus via Model-Based RL
por: Lee, Jihwan, et al.
Publicado: (2024)

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

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
por: Howlader, Prosenjit, et al.
Publicado: (2025)

Constrained Assumption-Based Argumentation Frameworks
por: De Angelis, Emanuele, et al.
Publicado: (2026)

Does Your AI Agent Get You? A Personalizable Framework for Approximating Human Models from Argumentation-based Dialogue Traces
por: Tang, Yinxu, et al.
Publicado: (2025)

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

AI Space Physics: Constitutive boundary semantics for open AI institutions
por: Romanchuk, Oleg, et al.
Publicado: (2026)

A Compositional Framework for On-the-Fly LTLf Synthesis
por: Li, Yongkang, et al.
Publicado: (2025)

Can Transformers Learn to Verify During Backtracking Search?
por: Phua, Yin Jun, et al.
Publicado: (2026)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
por: Hinnerichs, Tilman, et al.
Publicado: (2022)

On logic and generative AI
por: Gurevich, Yuri, et al.
Publicado: (2024)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
por: Miya, Shinobu
Publicado: (2025)