Ye, Z., Yan, Z., He, J., Kasriel, T., Yang, K., & Song, D. (2025). VERINA: Benchmarking Verifiable Code Generation. arXiv preprint arXiv:2505.23135. https://arxiv.org/abs/2505.23135