Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Xiong Beibei
Observed names:
Beibei Xiong,
Xiong, Beibei
Institution:
East China Normal University
Observed institutions:
Stockholm University,
East China Normal University
OpenAlex ID:
A5101190050
A Proof of the Dittert Conjecture in Dimension 4 via an Exact Constrained Sum-of-Squares Certificate
2026
·
Li, Jinhui
, Xiong, Beibei
, et al.
·
arXiv (Cornell University)
PDF
SAIR-Comb : A Structure-Aware Iterative Refinement Framework for Combinatorics Autoformalization
2026
·
Association for Computational Linguistics 2026
, He, Gaolei
, et al.
·
Underline Science Inc.
Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMs
2026
·
Xiong, Beibei
, Lv, Hangyu
, et al.
·
arXiv (Cornell University)
PDF
SAIR-Comb : A Structure-Aware Iterative Refinement Framework for Combinatorics Autoformalization
2026
·
Weijie Jiang
, Gaolei He
, et al.
·
Proceedings of the conference - Association for Computational Linguistics. Meeting
PDF
CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics
2025
·
Liu, Junqi
, Lin, Xiaohan
, et al.
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
5
Citation count:
H-index:
I10-index:
Year
Topic
Type
