SymDiag is proposed, a neuro-symbolic framework that reframes reasoning verification as structured failure diagnosis and incorporates a Self-Auditor that disentangles TranslationError from ReasoningError via dual symbolic encodings consistency checks, enabling robust diagnosis under partial observability.
Wenyao Cui, Hua-Ping Zhang, Yongyi Huang et al.· Proceedings of the 32nd ACM...· 0 citations
Experiments show ElementCheck consistently improves factuality verification across five backbone models while maintaining a favorable accuracy-cost trade-off, and further analyses demonstrate that complexity-aware verification reduces unnecessary re-verification and maintains stability across different backbones.
Xinming Wang, Hao-Ran Du, Yi Chen et al.· 0 citations
This survey bridges the existing gap by presenting a comprehensive blueprint for scientific agents' design and introduces a unified taxonomy based on capability envelope and capability maturity, characterizing both the scope of scientific workflow coverage and the reliability of agent behavior under realistic research...
Xin-Ming Wang, Jian Xu, Sheng Lian et al.· IEEE Transactions on Pattern...· 11 citations
SymDiag is proposed, a neuro-symbolic framework that reframes reasoning verification as structured failure diagnosis and incorporates a Self-Auditor that disentangles TranslationError from ReasoningError via dual symbolic encodings consistency checks, enabling robust diagnosis under partial observability.
Wenyao Cui, Huaping Zhang, Yongyi Huang et al.· Proceedings of the 32nd ACM...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
