Positive Distribution Pollution: Rethinking Positive Unlabeled Learning from a Unified Perspective. - Qianqiao Liang; Mengying Zhu; Yan Wang 002; Xiuyuan Wang 002; Wanjia Zhao; Mengyuan Yang 002; Hua Wei; Bing Han; Xiaolin Zheng (AAAI, 2023)

TANGO: Time-Reversal Latent GraphODE for Multi-Agent Dynamical Systems. - Zijie Huang 002; Wanjia Zhao; Jingdong Gao; Ziniu Hu; Xiao Luo 001; Yadi Cao; Yuanzhou Chen; Yizhou Sun; Wei Wang 010 (CoRR, 2023)

Physics-Informed Regularization for Domain-Agnostic Dynamical System Modeling. - Zijie Huang 002; Wanjia Zhao; Jingdong Gao; Ziniu Hu; Xiao Luo 001; Yadi Cao; Yuanzhou Chen; Yizhou Sun; Wei Wang 010 (NeurIPS, 2024)

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search. - Huajian Xin; Z. Z. Ren; Junxiao Song; Zhihong Shao; Wanjia Zhao; Haocheng Wang; Bo Liu 039; Liyue Zhang; Xuan Lu; Qiushi Du; Wenjun Gao; Qihao Zhu; et al. (CoRR, 2024)

Recent Advances on Machine Learning for Computational Fluid Dynamics: A Survey. - Haixin Wang 003; Yadi Cao; Zijie Huang 002; Yuxuan Liu; Peiyan Hu; Xiao Luo 001; Zezheng Song; Wanjia Zhao; Jilin Liu; Jinan Sun; Shikun Zhang; Long Wei; et al. (CoRR, 2024)

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search. - Huajian Xin; Z. Z. Ren; Junxiao Song; Zhihong Shao; Wanjia Zhao; Haocheng Wang; Bo Liu; Liyue Zhang; Xuan Lu; Qiushi Du; Wenjun Gao; Haowei Zhang; et al. (ICLR, 2025)

SiriuS: Self-improving Multi-agent Systems via Bootstrapped Reasoning. - Wanjia Zhao; Mert Yüksekgönül; Shirley Wu; James Zou 001 (CoRR, 2025)

Protein Large Language Models: A Comprehensive Survey. - Yijia Xiao; Wanjia Zhao; Junkai Zhang; Yiqiao Jin; Han Zhang; Zhicheng Ren; Renliang Sun; Haixin Wang 003; Guancheng Wan; Pan Lu; Xiao Luo 001; Yu Zhang 044; et al. (CoRR, 2025)

DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition. - Z. Z. Ren; Zhihong Shao; Junxiao Song; Huajian Xin; Haocheng Wang; Wanjia Zhao; Liyue Zhang; Zhe Fu; Qihao Zhu; Dejian Yang; Z. F. Wu; Zhibin Gou; et al. (CoRR, 2025)

OpenThoughts: Data Recipes for Reasoning Models. - Etash Kumar Guha; Ryan Marten; Sedrick Keh; Negin Raoof; Georgios Smyrnis; Hritik Bansal; Marianna Nezhurina; Jean Mercat; Trung Vu 002; Zayne Sprague; Ashima Suvarna; Benjamin Feuer; et al. (CoRR, 2025)

GeoAda: Efficiently Finetune Geometric Diffusion Models with Equivariant Adapters. - Wanjia Zhao; Jiaqi Han; Siyi Gu; Mingjian Jiang; James Zou 001; Stefano Ermon (CoRR, 2025)