APA (7th ed.) Citation

An, C., Ye, Q., Pan, M., & Zhang, J. (2026). QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems.

Chicago Style (17th ed.) Citation

An, Chenyang, Qihao Ye, Minghao Pan, and Jiayaun Zhang. QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems. 2026.

MLA (9th ed.) Citation

An, Chenyang, et al. QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems. 2026.