TY  - RPRT
TI  - A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation
AU  - Beibei Xiong
AU  - Hangyu Lv
AU  - Haojia Shan
AU  - Jianlin Wang
AU  - Zhengfeng Yang
AU  - Lihong Zhi
PY  - 2025
UR  - https://arxiv.org/abs/2502.17840
ID  - 2502.17840
ER  -