Our paper “Towards Generality: Task-Adaptive Binary Analysis via Semantic Retrieval and Verifiable Reasoning” has been accepted to USENIX Security’26. Congrats Yuzhe!