14 citations · 30 across the 8 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LG2025
LearnAlign: Data Selection for LLM Reinforcement Learning with Improved Gradient Alignment
Shipeng Li, Zhiqin Yang, Shikun Li +7
Reinforcement learning with verifiable rewards (RLVR) has become a key technique for enhancing LLMs' reasoning abilities, yet its data inefficiency remains a major bottleneck. To a…
cs.AI2025
Autoformalization in the Era of Large Language Models: A Survey
Ke Weng, Lun Du, Sirui Li +4
Autoformalization, the process of transforming informal mathematical propositions into verifiable formal representations, is a foundational task in automated theorem proving, offer…