Logic-RL: Unleashing LLM Reasoning with Rule-Based Reinforcement Learning. - Tian Xie; Zitian Gao; Qingnan Ren; Haoming Luo; Yuqian Hong; Bryan Dai; Joey Zhou; Kai Qiu; Zhirong Wu; Chong Luo (CoRR, 2025)

One-shot Entropy Minimization. - Zitian Gao; Lynx Chen; Joey Zhou; Bryan Dai (CoRR, 2025)

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning. - Ziju Shen; Naohao Huang; Fanyi Yang; Yutong Wang; Guoxiong Gao; Tianyi Xu; Jiedong Jiang; Wanyi He; Pu Yang; Mengzhou Sun; Haocheng Ju; Peihao Wu; et al. (CoRR, 2025)