TY - RPRT TI - Veritas: Grounding LLM Agents for Reliable Vulnerability Reasoning over Stripped Binaries AU - Xinran Zheng AU - Alfredo Pesoli AU - Marco Valleri AU - Suman Jana AU - Lorenzo Cavallaro PY - 2026 UR - https://arxiv.org/abs/2605.15097 ID - 2605.15097 ER -