Cita APA (7a ed.)

Hao, Y., Chen, Y., Zhang, Y., & Fan, C. (2024). Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools.

Cita Chicago Style (17a ed.)

Hao, Yilun, Yongchao Chen, Yang Zhang, y Chuchu Fan. Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools. 2024.

Cita MLA (9a ed.)

Hao, Yilun, et al. Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools. 2024.