LLM agents for vulnerability identification and verification of CVEs. - Tadesse Zemicheal; Hsin Chen; Shawn Davis; Rachel Allen; Michael Demoret; Ashley Song (CAMLIS, 2024)