Xian Zhang

Principal Researcher

论文与出版物

查看方式：

- Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning
  
  Zhiyu Ni, Zhengwen Liang, Liang Song, Chenrui Cao, Xian Zhang, Alberto Sangiovanni-Vincentelli, Pierluigi Nuzzo
  
  March 2026
  
  Publication
- 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
  
  Publication
- 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
  
  DOI Publication Publication
- RepDL: Bit-level Reproducible Deep Learning Training and Inference
  
  Peichen Xie, Xian Zhang, Shuo Chen
  
  October 2025
  
  Publication
- 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
  
  Publication Github
- 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
  
  DOI Publication Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication Author's Version DOI
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication

- Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning
  
  Zhiyu Ni, Zhengwen Liang, Liang Song, Chenrui Cao, Xian Zhang, Alberto Sangiovanni-Vincentelli, Pierluigi Nuzzo
  
  March 2026
  
  Publication
- 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
  
  DOI Publication Publication
- RepDL: Bit-level Reproducible Deep Learning Training and Inference
  
  Peichen Xie, Xian Zhang, Shuo Chen
  
  October 2025
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning
  
  Zhiyu Ni, Zhengwen Liang, Liang Song, Chenrui Cao, Xian Zhang, Alberto Sangiovanni-Vincentelli, Pierluigi Nuzzo
  
  March 2026
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication Github
- 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
  
  Publication Github
- 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
  
  DOI Publication Publication
- 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
  
  Publication Author's Version DOI
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication

- Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning
  
  Zhiyu Ni, Zhengwen Liang, Liang Song, Chenrui Cao, Xian Zhang, Alberto Sangiovanni-Vincentelli, Pierluigi Nuzzo
  
  March 2026
  
  Publication
- 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
  
  Publication
- RepDL: Bit-level Reproducible Deep Learning Training and Inference
  
  Peichen Xie, Xian Zhang, Shuo Chen
  
  October 2025
  
  Publication
- 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
  
  Publication
- 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
  
  DOI Publication Publication
- 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
  
  Publication Github
- 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
  
  DOI Publication Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication Author's Version DOI
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication

Xian Zhang

论文与出版物

Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning

Vibe Reasoning: Eliciting Frontier AI Mathematical Capabilities — A Case Study on IMO 2025 Problem 6

Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models

RepDL: Bit-level Reproducible Deep Learning Training and Inference

TrainVerify: Equivalence-Based Verification for Distributed LLM Training

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning

Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency

Neuro-Symbolic Data Generation for Math Reasoning

A Survey on Deep Learning for Theorem Proving

Forerunner: Constraint-based Speculative Transaction Execution for Ethereum

Argus: A Fully Transparent Incentive System for Anti-Piracy Campaigns

PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture

Agatha: Smart Contract for DNN Computation

Characterizing Ethereum’s Mining Power Decentralization at a Deeper Level

Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning

Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models

RepDL: Bit-level Reproducible Deep Learning Training and Inference

Neuro-Symbolic Data Generation for Math Reasoning

Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency

A Survey on Deep Learning for Theorem Proving

Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning

Vibe Reasoning: Eliciting Frontier AI Mathematical Capabilities — A Case Study on IMO 2025 Problem 6

A Survey on Deep Learning for Theorem Proving

TrainVerify: Equivalence-Based Verification for Distributed LLM Training

TrainVerify: Equivalence-Based Verification for Distributed LLM Training

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning

Forerunner: Constraint-based Speculative Transaction Execution for Ethereum

PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture

Agatha: Smart Contract for DNN Computation

Argus: A Fully Transparent Incentive System for Anti-Piracy Campaigns

PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture

Agatha: Smart Contract for DNN Computation

Characterizing Ethereum’s Mining Power Decentralization at a Deeper Level

Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning

Vibe Reasoning: Eliciting Frontier AI Mathematical Capabilities — A Case Study on IMO 2025 Problem 6

RepDL: Bit-level Reproducible Deep Learning Training and Inference

Agatha: Smart Contract for DNN Computation

Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models

TrainVerify: Equivalence-Based Verification for Distributed LLM Training

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning

Neuro-Symbolic Data Generation for Math Reasoning

Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency

A Survey on Deep Learning for Theorem Proving

Forerunner: Constraint-based Speculative Transaction Execution for Ethereum

Argus: A Fully Transparent Incentive System for Anti-Piracy Campaigns

PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture

Characterizing Ethereum’s Mining Power Decentralization at a Deeper Level