VERINA: Benchmarking Verifiable Code Generation. - Zhe Ye; Zhengxu Yan; Jingxuan He; Timothe Kasriel; Kaiyu Yang; Dawn Song (CoRR, 2025)