APA (7th ed.) Citation

Xiong, B., Lv, H., Liu, J., Wang, Y., Chen, S., Wang, J., . . . Zhi, L. (2026). Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMs.

Chicago Style (17th ed.) Citation

Xiong, Beibei, Hangyu Lv, Junqi Liu, Yisen Wang, Shaoshi Chen, Jianlin Wang, Zhengfeng Yang, and Lihong Zhi. Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMs. 2026.

MLA (9th ed.) Citation

Xiong, Beibei, et al. Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMs. 2026.