作者位次 #5/8ICML 2026Spotlight· Deep Learning / Large Language Models
Automated Formal Proofs of Combinatorial Identities via Wilf–Zeilberger Guidance and LLMs
Beibei Xiong · Hangyu Lv · Junqi Liu · Yisen Wang · Shaoshi Chen · Jianlin Wang · Zhengfeng Yang · Lihong Zhi