Sentence Alignment with Parallel Documents Helps Biomedical Machine Translation. - Shengxuan Luo; Huaiyuan Ying; Sheng Yu 002 (CoRR, 2021)

Label Refinement via Contrastive Learning for Distantly-Supervised Named Entity Recognition. - Huaiyuan Ying; Shengxuan Luo; Tiantian Dang; Sheng Yu 002 (NAACL-HLT (Findings), 2022)

BIOS: An Algorithmically Generated Biomedical Knowledge Graph. - Sheng Yu 002; Zheng Yuan 002; Jun Xia; Shengxuan Luo; Huaiyuan Ying; Sihang Zeng; Jingyi Ren; Hongyi Yuan; Zhengyun Zhao; Yucong Lin; Keming Lu; Jing Wang; et al. (CoRR, 2022)

Biomedical Question Answering: A Survey of Approaches and Challenges. - Qiao Jin 001; Zheng Yuan 002; Guangzhi Xiong; Qianlan Yu; Huaiyuan Ying; Chuanqi Tan; Mosha Chen; Songfang Huang; Xiaozhong Liu; Sheng Yu 002 (ACM Comput. Surv., 2023)

Lean Workbook: A large-scale Lean problem set formalized from natural language math problems. - Huaiyuan Ying; Zijian Wu 002; Yihan Geng; Jiayu Wang; Dahua Lin; Kai Chen 026 (NeurIPS, 2024)

InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning. - Huaiyuan Ying; Shuo Zhang 022; Linyang Li; Zhejian Zhou; Yunfan Shao; Zhaoye Fei; Yichuan Ma; Jiawei Hong; Kuikun Liu; Ziyi Wang 006; Yudong Wang 002; Zijian Wu 002; et al. (CoRR, 2024)

A Question Answering Based Pipeline for Comprehensive Chinese EHR Information Extraction. - Huaiyuan Ying; Sheng Yu 002 (CoRR, 2024)

InternLM2.5-StepProver: Advancing Automated Theorem Proving via Expert Iteration on Large-Scale LEAN Problems. - Zijian Wu 002; Suozhi Huang; Zhejian Zhou; Huaiyuan Ying; Jiayu Wang; Dahua Lin; Kai Chen 026 (CoRR, 2024)

CoRTEx: contrastive learning for representing terms via explanations with applications on constructing biomedical knowledge graphs. - Huaiyuan Ying; Zhengyun Zhao; Yang Zhao; Sihang Zeng; Sheng Yu 002 (J. Am. Medical Informatics Assoc., 2024)

GENIE: Generative Note Information Extraction model for structuring EHR data. - Huaiyuan Ying; Hongyi Yuan; Jinsen Lu; Zitian Qu; Yang Zhao; Zhengyun Zhao; Isaac S. Kohane; Tianxi Cai; Sheng Yu 002 (CoRR, 2025)

Evaluating Entity Retrieval in Electronic Health Records: a Semantic Gap Perspective. - Zhengyun Zhao; Hongyi Yuan; Jingjing Liu; Haichao Chen; Huaiyuan Ying; Songchi Zhou; Sheng Yu 002 (CoRR, 2025)

DR.EHR: Dense Retrieval for Electronic Health Record with Knowledge Injection and Synthetic Data. - Zhengyun Zhao; Huaiyuan Ying; Yue Zhong; Sheng Yu 002 (CoRR, 2025)

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving. - Luoxin Chen; Jinming Gu; Liankai Huang; Wenhao Huang 001; Zhicheng Jiang; Allan Jie; Xiaoran Jin; Xing Jin; Chenggang Li; Kaijing Ma; Cheng Ren; Jiawei Shen; et al. (CoRR, 2025)