Citazione Stile APA (7a Edizione)

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.

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

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