FrameProver: Leveraging Formal Frameworks in Building Proofs for Enhanced Inference. - Haojia Shan; Beibei Xiong; Niuniu Qi; Zhengfeng Yang (ICIC (9), 2025)

A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation. - Beibei Xiong; Hangyu Lv; Haojia Shan; Jianlin Wang; Zhengfeng Yang; Lihong Zhi (CoRR, 2025)