Style de citation APA (7e éd.)

Deng, X., Zhong, S., Bayazıt, B., Veneris, A., Long, F., & Si, X. (2025). VerifyThisBench: Generating Code, Specifications, and Proofs All at Once.

Style de citation Chicago (17e éd.)

Deng, Xun, Sicheng Zhong, Barış Bayazıt, Andreas Veneris, Fan Long, et Xujie Si. VerifyThisBench: Generating Code, Specifications, and Proofs All at Once. 2025.

Style de citation MLA (9e éd.)

Deng, Xun, et al. VerifyThisBench: Generating Code, Specifications, and Proofs All at Once. 2025.