Specification-Guided Vulnerability Detection with Large Language Models Paper • 2511.04014 • Published Nov 6, 2025 • 1