TY  - RPRT
TI  - Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMs
AU  - Beibei Xiong
AU  - Hangyu Lv
AU  - Junqi Liu
AU  - Yisen Wang
AU  - Shaoshi Chen
AU  - Jianlin Wang
AU  - Zhengfeng Yang
AU  - Lihong Zhi
PY  - 2026
UR  - https://arxiv.org/abs/2605.04472
ID  - 2605.04472
ER  -