2 papers
cs.AI2026
ART: Adaptive Reasoning Trees for Explainable Claim Verification
Sahil Wadhwa, Himanshu Kumar, Guanqun Yang +4
Large Language Models (LLMs) are powerful candidates for complex decision-making, leveraging vast encoded knowledge and remarkable zero-shot abilities. However, their adoption in h…
cs.CR2025
SPFinder: Improving the Context Length and Scalability for Tracing Known Vulnerability Patches
Xueqing Liu, Jiangrui Zheng, Guanqun Yang +3
An upstream task for vulnerability management is the accurate localization of the patch that fixes a vulnerability. Existing works have proposed several approaches to trace or retr…