1. GraphLedger: Repository-Level Vulnerability Detection via Graph-Based Compression and Assumption ValidationASE 2026 (Research Track, CORE Rank A*, Acceptance Rate: 115/1236) (2026)Paper