conftrace
_
Papers
Trends
Conferences
Explore
More
Authors
Topics
Keywords
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Achievements
← Authors
Copy link
Yihang Xia
1 papers · 2026–2026 · 1 conference
· across top CS/AI conferences
Conferences
ACL (1)
Top co-authors
Ge Zhang (1)
Jiaheng Liu (1)
Yuchen Wu (1)
Luming Li (1)
Wenhao Huang (1)
Yifan Zhang (1)
Yixin Cao (1)
Shuyue Guo (1)
Yifan Yao (1)
Zhongyuan Peng (1)
Keywords
reinforcement learning
(1)
supervised fine-tuning
(1)
automated theorem proving
(1)
semantic fidelity
(1)
mathematical formalization
(1)
Papers
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
ACL 2026