Vibe Reasoning: Eliciting Frontier AI Mathematical Capabilities — A Case Study on IMO 2025 Problem 6
Jiaao Wu, Xian Zhang, Fan Yang, Yinpeng Dong
December 2025
Xian Zhang
Principal Researcher
Publications
-
-
-
Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
Chenrui Cao, Liangcheng Song, Zenan Li, Xinyi Le, Xian Zhang, Hui Xue, Fan Yang
NeurIPS 2025 | December 2025
-
RepDL: Bit-level Reproducible Deep Learning Training and Inference
Peichen Xie, Xian Zhang, Shuo Chen
October 2025
-
TrainVerify: Equivalence-Based Verification for Distributed LLM Training
Yunchi Lu, Youshan Miao, Cheng Tan, Peng Huang, Yi Zhu, Xian Zhang, Fan Yang
Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles (SOSP'25) | October 2025
-
Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma
ICLR | April 2025
-
-
-
Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
Zenan Li, Yifan Wu, Zhaoyu Li, Xinming Wei, Fan Yang, Xian Zhang, Xiaoxing Ma
2024 Neural Information Processing Systems | December 2024
-
Neuro-Symbolic Data Generation for Math Reasoning
Zenan Li, Zhi Zhou, Yuan Yao, Yu-Feng Li, Chun Cao, Fan Yang, Xian Zhang, Xiaoxing Ma
2024 Neural Information Processing Systems | December 2024
-
A Survey on Deep Learning for Theorem Proving
Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si
CONFERENCE ON LANGUAGE MODELING | October 2024
-
-
-
Forerunner: Constraint-based Speculative Transaction Execution for Ethereum
Yang Chen, Zhongxin Guo, Runhuai Li, Shuo Chen, Lidong Zhou, Yajin Zhou, Xian Zhang
SOSP 2021 | October 2021
-
Argus: A Fully Transparent Incentive System for Anti-Piracy Campaigns
Xian Zhang, Xiaobing Guo, Zixuan Zeng, Wenyan Liu, Zhongxin Guo, Yang Chen, Shuo Chen, Qiufeng Yin, Mao Yang
The 40th International Symposium on Reliable Distributed Systems (SRDS) | September 2021
-
PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture
Ye Zhang, Shuo Wang, Xian Zhang, Jiangbin Dong, Xingzhong Mao, Fan Long, Cong Wang, Dong Zhou, Mingyu Gao, Guangyu Sun
48th IEEE/ACM International Symposium on Computer Architecture (ISCA) | June 2021
-
Agatha: Smart Contract for DNN Computation
Zihan Zheng, Peichen Xie, Xian Zhang, Shuo Chen, Yang Chen, Xiaobing Guo, Guangzhong Sun, Guangyu Sun, Lidong Zhou
May 2021
-
Characterizing Ethereum’s Mining Power Decentralization at a Deeper Level
Liyi Zeng, Yang Chen, Shuo Chen, Xian Zhang, Zhongxin Guo, Wei Xu, Thomas Moscibroda
IEEE Conference on Computer Communications (INFOCOM) | May 2021
-
-
-
Vibe Reasoning: Eliciting Frontier AI Mathematical Capabilities — A Case Study on IMO 2025 Problem 6
Jiaao Wu, Xian Zhang, Fan Yang, Yinpeng Dong
December 2025
-
A Survey on Deep Learning for Theorem Proving
Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si
CONFERENCE ON LANGUAGE MODELING | October 2024
-
-
-
Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
Chenrui Cao, Liangcheng Song, Zenan Li, Xinyi Le, Xian Zhang, Hui Xue, Fan Yang
NeurIPS 2025 | December 2025
-
RepDL: Bit-level Reproducible Deep Learning Training and Inference
Peichen Xie, Xian Zhang, Shuo Chen
October 2025
-
Neuro-Symbolic Data Generation for Math Reasoning
Zenan Li, Zhi Zhou, Yuan Yao, Yu-Feng Li, Chun Cao, Fan Yang, Xian Zhang, Xiaoxing Ma
2024 Neural Information Processing Systems | December 2024
-
Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
Zenan Li, Yifan Wu, Zhaoyu Li, Xinming Wei, Fan Yang, Xian Zhang, Xiaoxing Ma
2024 Neural Information Processing Systems | December 2024
-
A Survey on Deep Learning for Theorem Proving
Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si
CONFERENCE ON LANGUAGE MODELING | October 2024
-
-
-
TrainVerify: Equivalence-Based Verification for Distributed LLM Training
Yunchi Lu, Youshan Miao, Cheng Tan, Peng Huang, Yi Zhu, Xian Zhang, Fan Yang
Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles (SOSP'25) | October 2025
-
-
-
TrainVerify: Equivalence-Based Verification for Distributed LLM Training
Yunchi Lu, Youshan Miao, Cheng Tan, Peng Huang, Yi Zhu, Xian Zhang, Fan Yang
Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles (SOSP'25) | October 2025
-
Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma
ICLR | April 2025
-
Forerunner: Constraint-based Speculative Transaction Execution for Ethereum
Yang Chen, Zhongxin Guo, Runhuai Li, Shuo Chen, Lidong Zhou, Yajin Zhou, Xian Zhang
SOSP 2021 | October 2021
-
PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture
Ye Zhang, Shuo Wang, Xian Zhang, Jiangbin Dong, Xingzhong Mao, Fan Long, Cong Wang, Dong Zhou, Mingyu Gao, Guangyu Sun
48th IEEE/ACM International Symposium on Computer Architecture (ISCA) | June 2021
-
Agatha: Smart Contract for DNN Computation
Zihan Zheng, Peichen Xie, Xian Zhang, Shuo Chen, Yang Chen, Xiaobing Guo, Guangzhong Sun, Guangyu Sun, Lidong Zhou
May 2021
-
-
-
Argus: A Fully Transparent Incentive System for Anti-Piracy Campaigns
Xian Zhang, Xiaobing Guo, Zixuan Zeng, Wenyan Liu, Zhongxin Guo, Yang Chen, Shuo Chen, Qiufeng Yin, Mao Yang
The 40th International Symposium on Reliable Distributed Systems (SRDS) | September 2021
-
PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture
Ye Zhang, Shuo Wang, Xian Zhang, Jiangbin Dong, Xingzhong Mao, Fan Long, Cong Wang, Dong Zhou, Mingyu Gao, Guangyu Sun
48th IEEE/ACM International Symposium on Computer Architecture (ISCA) | June 2021
-
Agatha: Smart Contract for DNN Computation
Zihan Zheng, Peichen Xie, Xian Zhang, Shuo Chen, Yang Chen, Xiaobing Guo, Guangzhong Sun, Guangyu Sun, Lidong Zhou
May 2021
-
Characterizing Ethereum’s Mining Power Decentralization at a Deeper Level
Liyi Zeng, Yang Chen, Shuo Chen, Xian Zhang, Zhongxin Guo, Wei Xu, Thomas Moscibroda
IEEE Conference on Computer Communications (INFOCOM) | May 2021
-
-
-
Vibe Reasoning: Eliciting Frontier AI Mathematical Capabilities — A Case Study on IMO 2025 Problem 6
Jiaao Wu, Xian Zhang, Fan Yang, Yinpeng Dong
December 2025
-
RepDL: Bit-level Reproducible Deep Learning Training and Inference
Peichen Xie, Xian Zhang, Shuo Chen
October 2025
-
Agatha: Smart Contract for DNN Computation
Zihan Zheng, Peichen Xie, Xian Zhang, Shuo Chen, Yang Chen, Xiaobing Guo, Guangzhong Sun, Guangyu Sun, Lidong Zhou
May 2021
-
-
-
Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
Chenrui Cao, Liangcheng Song, Zenan Li, Xinyi Le, Xian Zhang, Hui Xue, Fan Yang
NeurIPS 2025 | December 2025
-
TrainVerify: Equivalence-Based Verification for Distributed LLM Training
Yunchi Lu, Youshan Miao, Cheng Tan, Peng Huang, Yi Zhu, Xian Zhang, Fan Yang
Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles (SOSP'25) | October 2025
-
Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma
ICLR | April 2025
-
Neuro-Symbolic Data Generation for Math Reasoning
Zenan Li, Zhi Zhou, Yuan Yao, Yu-Feng Li, Chun Cao, Fan Yang, Xian Zhang, Xiaoxing Ma
2024 Neural Information Processing Systems | December 2024
-
Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
Zenan Li, Yifan Wu, Zhaoyu Li, Xinming Wei, Fan Yang, Xian Zhang, Xiaoxing Ma
2024 Neural Information Processing Systems | December 2024
-
A Survey on Deep Learning for Theorem Proving
Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si
CONFERENCE ON LANGUAGE MODELING | October 2024
-
Forerunner: Constraint-based Speculative Transaction Execution for Ethereum
Yang Chen, Zhongxin Guo, Runhuai Li, Shuo Chen, Lidong Zhou, Yajin Zhou, Xian Zhang
SOSP 2021 | October 2021
-
Argus: A Fully Transparent Incentive System for Anti-Piracy Campaigns
Xian Zhang, Xiaobing Guo, Zixuan Zeng, Wenyan Liu, Zhongxin Guo, Yang Chen, Shuo Chen, Qiufeng Yin, Mao Yang
The 40th International Symposium on Reliable Distributed Systems (SRDS) | September 2021
-
PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture
Ye Zhang, Shuo Wang, Xian Zhang, Jiangbin Dong, Xingzhong Mao, Fan Long, Cong Wang, Dong Zhou, Mingyu Gao, Guangyu Sun
48th IEEE/ACM International Symposium on Computer Architecture (ISCA) | June 2021
-
Characterizing Ethereum’s Mining Power Decentralization at a Deeper Level
Liyi Zeng, Yang Chen, Shuo Chen, Xian Zhang, Zhongxin Guo, Wei Xu, Thomas Moscibroda
IEEE Conference on Computer Communications (INFOCOM) | May 2021
-