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
Xian Zhang
Senior Researcher
Publications
Publications by Year
-
-
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
Publications by Research Area
-
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
-
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
-
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
-
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
Publications by Type
-
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
-
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