ML Anthology

Yan, Zhengxu

1 publications

ICLR 2026 VERINA: Benchmarking Verifiable Code Generation Zhe Ye, Zhengxu Yan, Jingxuan He, Timothe Kasriel, Kaiyu Yang, Dawn Song