conftrace
_
Papers
Trends
Conferences
Explore
More
Authors
Topics
Keywords
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Achievements
← Authors
Copy link
Beibei Xiong
1 papers · 2026–2026 · 1 conference
· across top CS/AI conferences
Conferences
ACL (1)
Top co-authors
Zhengfeng Yang (1)
Weijie Jiang (1)
Gaolei He (1)
Jianlin Wang (1)
Keywords
reinforcement learning
(1)
data augmentation
(1)
formal proof
(1)
structural consistency
(1)
lean 4
(1)
Papers
SAIR-Comb : A Structure-Aware Iterative Refinement Framework for Combinatorics Autoformalization
ACL 2026