Cita APA (7a ed.)

Xu, Q., Luan, X., Wang, R., Leang, J. O. J., Wang, P., Li, H., . . . Watt, C. (2026). Neural Theorem Proving for Verification Conditions: A Real-World Benchmark.

Cita Chicago Style (17a ed.)

Xu, Qiyuan, Xiaokun Luan, Renxi Wang, Joshua Ong Jun Leang, Peixin Wang, Haonan Li, Wenda Li, y Conrad Watt. Neural Theorem Proving for Verification Conditions: A Real-World Benchmark. 2026.

Cita MLA (9a ed.)

Xu, Qiyuan, et al. Neural Theorem Proving for Verification Conditions: A Real-World Benchmark. 2026.