Lu, J., Wan, Y., Liu, Z., Huang, Y., Xiong, J., Liu, C., . . . Guo, Z. (2024). Process-Driven Autoformalization in Lean 4.
Citazione stile Chigago Style (17a edizione)Lu, Jianqiao, et al. Process-Driven Autoformalization in Lean 4. 2024.
Citatione MLA (9a ed.)Lu, Jianqiao, et al. Process-Driven Autoformalization in Lean 4. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.