Beibei Xiong

1. A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation
   2025/02/25 by Beibei Xiong, Hao Lv, Xiong, Beibei +8 · 3 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, programming, and type systems
2. A Proof of the Dittert Conjecture in Dimension 4 via an Agent-Guided Exact Sum-of-Squares Certificate
   2026/07/31 by Jinhui Li, Beibei Xiong, Zhengfeng Yang
   Computer Science · #cs.SC