Haige Bo

Identifiers

• name variant Haige Bo 0.60 · backfill

Papers (2)

1. Distilling Tool Knowledge into Language Models via Back-Translated Traces cs.LG · 2025 · author #10
2. SubgoalXL: Subgoal-based Expert Learning for Theorem Proving cs.LG · 2024 · author #3

Mentions

• 2506.19171 #10 · arxiv_oai · confidence 0.70 Haige Bo
• 2408.11172 #3 · arxiv_oai · confidence 0.70 Haige Bo

Frequent Coauthors

• Changran Hu 2 shared papers
• Bailan He 1 shared papers
• Guohao Li 1 shared papers
• Lingpeng Kong 1 shared papers
• Lin Zheng 1 shared papers
• Rishabh 1 shared papers
• Urmish Thakker 1 shared papers
• Waleed Alzarooni 1 shared papers
• Wendong Fan 1 shared papers
• Xianglong Hu 1 shared papers
• Xingyue Huang 1 shared papers
• Xueliang Zhao 1 shared papers
• Yuan He 1 shared papers
• Zifeng Ding 1 shared papers
• Ziyu Ye 1 shared papers