Xiong, Beibei

1. CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics
   2025/05/06 by Liu, Junqi, Lin, Xiaohan, Bayer, Jonas +12 · 10 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
2. 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