Bryan Dai

According to our database, Bryan Dai authored at least 3 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Bryan Dai, Bin Dong

CoRR, May, 2025

One-shot Entropy Minimization.

Zitian Gao, Lynx Chen, Joey Zhou, Bryan Dai

CoRR, May, 2025

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, February, 2025