Andrew C. Yao

25 papers A* 3B 1C 1Journal 17Unranked 3
YearRankTypeTitle / Venue / Authors
2025 A* conf
Augmenting Math Word Problems via Iterative Question Composing.
AAAI
Haoxiong Liu, Yifan Zhang, Yifan Luo, Andrew C. Yao
2025 — conf
Autonomous Data Selection with Zero-shot Generative Classifiers for Mathematical Texts.
ACL (Findings)
Yifan Zhang, Yifan Luo, Yang Yuan, Andrew C. Yao
2025 J jnl
Cumulative Reasoning with Large Language Models.
Trans. Mach. Learn. Res.
Yifan Zhang, Jingqin Yang, Yang Yuan, Andrew C. Yao
2025 J jnl
Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis.
CoRR
Haoxiong Liu, Jiacheng Sun, Zhenguo Li, Andrew C. Yao
2025 — conf
Hierarchical Attention Generates Better Proofs.
ACL (1)
Jianlong Chen, Chao Li, Yang Yuan, Andrew C. Yao
2025 J jnl
Hierarchical Attention Generates Better Proofs.
CoRR
Jianlong Chen, Chao Li, Yang Yuan, Andrew C. Yao
2025 J jnl
On the Design of KL-Regularized Policy Gradient Algorithms for LLM Reasoning.
CoRR
Yifan Zhang, Yifeng Liu, Huizhuo Yuan, Yang Yuan, Quanquan Gu, Andrew C. Yao
2025 A* conf
ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis.
ICML
Haoxiong Liu, Jiacheng Sun, Zhenguo Li, Andrew C. Yao
2024 J jnl
A system capable of verifiably and privately screening global DNA synthesis.
CoRR
Carsten Baum, Jens Berlips, Walther Chen, Hongrui Cui, Ivan Damgård, Jiangbin Dong, Kevin M. Esvelt, Mingyu Gao, Dana Gretton, Leonard Foner, Martin Kysel, Kaiyi Zhang, Juanru Li, Xiang Li, Omer Paneth, Ronald L. Rivest, Francesca Sage-Ling, Adi Shamir, Yue Shen, Meicen Sun, Vinod Vaikuntanathan, Lynn Van Hauwe, Theia Vogel, Benjamin Weinstein-Raun, Yun Wang, Daniel Wichs, Stephen Wooster, Andrew C. Yao, Yu Yu, Haoling Zhang
2024 J jnl
Efficient Maliciously Secure Oblivious Exponentiations.
IACR Commun. Cryptol.
Carsten Baum, Jens Berlips, Walther Chen, Ivan Bjerre Damgård, Kevin M. Esvelt, Leonard Foner, Dana Gretton, Martin Kysel, Ronald L. Rivest, Lawrence Roy, Francesca Sage-Ling, Adi Shamir, Vinod Vaikuntanathan, Lynn Van Hauwe, Theia Vogel, Benjamin Weinstein-Raun, Daniel Wichs, Stephen Wooster, Andrew C. Yao, Yu Yu
2024 J jnl
Efficient Maliciously Secure Oblivious Exponentiations.
IACR Cryptol. ePrint Arch.
Carsten Baum, Jens Berlips, Walther Chen, Ivan Damgård, Kevin M. Esvelt, Leonard Foner, Dana Gretton, Martin Kysel, Ronald L. Rivest, Lawrence Roy, Francesca Sage-Ling, Adi Shamir, Vinod Vaikuntanathan, Lynn Van Hauwe, Theia Vogel, Benjamin Weinstein-Raun, Daniel Wichs, Stephen Wooster, Andrew C. Yao, Yu Yu
2023 A* conf
Towards Data-Algorithm Dependent Generalization: a Case Study on Overparameterized Linear Regression.
NeurIPS
Jing Xu, Jiaye Teng, Yang Yuan, Andrew C. Yao
2012 C conf
Computationally-Fair Group and Identity-Based Key-Exchange.
TAMC
Andrew C. Yao, Yunlei Zhao
2012 J jnl
Computationally-Fair Group and Identity-Based Key-Exchange.
IACR Cryptol. ePrint Arch.
Andrew C. Yao, Yunlei Zhao
2012 J jnl
Digital Signatures from Challenge-Divided Sigma-Protocols.
IACR Cryptol. ePrint Arch.
Andrew C. Yao, Yunlei Zhao
2012 — conf
The Turing Computational Model.
ACM-TURING
Juris Hartmanis, Stephen Cook, William Kahan, Richard Edwin Stearns, Andrew C. Yao
2011 J jnl
A New Family of Practical Non-Malleable Diffie-Hellman Protocols
CoRR
Andrew C. Yao, Yunlei Zhao
2011 J jnl
A New Family of Practical Non-Malleable Protocols.
IACR Cryptol. ePrint Arch.
Andrew C. Yao, Yunlei Zhao
2010 J jnl
A New Framework for RFID Privacy.
IACR Cryptol. ePrint Arch.
Robert H. Deng, Yingjiu Li, Andrew C. Yao, Moti Yung, Yunlei Zhao
2010 J jnl
Adaptive Concurrent Non-Malleability with Bare Public-Keys.
IACR Cryptol. ePrint Arch.
Andrew C. Yao, Moti Yung, Yunlei Zhao
2010 J jnl
Concurrent Knowledge Extraction in the Public-Key Model.
IACR Cryptol. ePrint Arch.
Andrew C. Yao, Moti Yung, Yunlei Zhao
2008 J jnl
Tight Approximation Ratio of a General Greedy Splitting Algorithm for the Minimum k-Way Cut Problem
CoRR
Mingyu Xiao, Leizhen Cai, Andrew C. Yao
2006 J jnl
Discrete and continuous min-energy schedules for variable voltage processors.
Proc. Natl. Acad. Sci. USA
Minming Li, Andrew C. Yao, Frances F. Yao
2006 B conf
Some perspectives on computational and communication complexity.
ISIT
Andrew C. Yao
1980 J jnl
Some Monotonicity Properties of Partial Orders.
SIAM J. Algebraic Discret. Methods
Ronald L. Graham, Andrew C. Yao, F. Frances Yao