TY  - RPRT
TI  - VerifyThisBench: Generating Code, Specifications, and Proofs All at Once
AU  - Xun Deng
AU  - Sicheng Zhong
AU  - Barış Bayazıt
AU  - Andreas Veneris
AU  - Fan Long
AU  - Xujie Si
PY  - 2025
UR  - https://arxiv.org/abs/2505.19271
ID  - 2505.19271
ER  -