Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification
Wenyao Cui, Huaping Zhang, Yongyi Huang +6
Large language models (LLMs) increasingly serve as data-driven reasoners, yet their chains-of-thought (CoT) can be unfaithful even when final answers are correct. Most existing ``v…
cs.AI2026
HVR-Met: A Hypothesis-Verification-Replanning Agentic System for Extreme Weather Diagnosis
Shuo Tang, Jiadong Zhang, Gengxian Zhou +11
While deep learning-based weather forecasting paradigms have made significant strides, addressing extreme weather diagnostics remains a formidable challenge. This gap exists primar…
cs.AI2025
PDE-Agent: A toolchain-augmented multi-agent framework for PDE solving
Jianming Liu, Ren Zhu, Jian Xu +4
Solving Partial Differential Equations (PDEs) is a cornerstone of engineering and scientific research. Traditional methods for PDE solving are cumbersome, relying on manual setup a…