Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Beibei Xiong
Map detail
Beibei Xiong10 visible / 10 total nodes / 45 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Co-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipTopic signalAuthorshipAuthorshipAuthorshipAuthorshipBeibei XiongABeibei XiongResearcherAutomated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMsWAutomated Formal Proofs...preprint / 2026Hangyu LvAHangyu LvResearcherJunqi LiuAJunqi LiuResearcherYisen WangAYisen WangResearcherShaoshi ChenAShaoshi ChenResearcherJianlin WangAJianlin WangResearcherZhengfeng YangAZhengfeng YangResearcherLihong ZhiALihong ZhiResearcherMachine LearningTMachine Learning49008 works
Person9 links

Beibei Xiong

Researcher