APA (7th ed.) Citation

Yang, B., Yuan, Y., Li, C., Wang, Z., Li, L., Zhang, B., . . . Wen, Z. (2026). Construction-Verification: A Benchmark for Applied Mathematics in Lean 4.

Chicago Style (17th ed.) Citation

Yang, Bowen, Yi Yuan, Chenyi Li, Ziyu Wang, Liangqi Li, Bo Zhang, Zhe Li, and Zaiwen Wen. Construction-Verification: A Benchmark for Applied Mathematics in Lean 4. 2026.

MLA (9th ed.) Citation

Yang, Bowen, et al. Construction-Verification: A Benchmark for Applied Mathematics in Lean 4. 2026.