Yousefzadeh, R., & Cao, X. (2025). Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs.
Cita Chicago Style (17a ed.)Yousefzadeh, Roozbeh, y Xuenan Cao. Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs. 2025.
Cita MLA (9a ed.)Yousefzadeh, Roozbeh, y Xuenan Cao. Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs. 2025.
Precaución: Estas citas no son 100% exactas.