🧑🔬 Bo Liu5 papers on this site (2023–2024)OpenAlex · h-index 2 · 5 works · 9 citations (openalex-snapshot, 2026-10-14)Profile data from OpenAlex; authors with the same name are not always told apart.DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree SearchHuajian Xin, Z. Z. Ren, Junxiao Song, et al.2024DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataHuajian Xin, Daya Guo, Zhihong Shao, et al.2024DeepSeek-VL: Towards Real-World Vision-Language UnderstandingHaoyu Lu, Wen Liu, Bo Zhang, et al.2024EDDA: An Encoder-Decoder Data Augmentation Framework for Zero-Shot Stance DetectionDaijun Ding, Li Dong, Zhichao Huang, et al.2024LLM+P: Empowering Large Language Models with Optimal Planning ProficiencyBo Liu, Yuqian Jiang, Xiaohan Zhang, et al.2023This page in Markdown → https://md.research.elamur.ai/free/en/authors/bo-liu/