影响力指数

-/100

发表论文2 篇

平均评分4.0

年均产出2.0 篇/年

Beibei Xiong

PhD student@East China Normal University·中国·OpenReview

LeanComb: A Combinatorial Identities Benchmark for Automated Theorem Proving

ICLR 2026Withdrawn

CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics

ICLR 2026Desk Rejected

合作者 (19)

博士导师2 篇