Yao, Andrew C

6 publications

AAAI 2025 Augmenting Math Word Problems via Iterative Question Composing Haoxiong Liu, Yifan Zhang, Yifan Luo, Andrew C. Yao

TMLR 2025 Cumulative Reasoning with Large Language Models Yifan Zhang, Jingqin Yang, Yang Yuan, Andrew C Yao

ICML 2025 ProofAug: Efficient Neural Theorem Proving via Fine-Grained Proof Structure Analysis Haoxiong Liu, Jiacheng Sun, Zhenguo Li, Andrew C Yao

NeurIPS 2025 Tensor Product Attention Is All You Need Yifan Zhang, Yifeng Liu, Huizhuo Yuan, Zhen Qin, Yang Yuan, Quanquan Gu, Andrew C Yao

ICLRW 2024 Augmenting Math Word Problems via Iterative Question Composing Haoxiong Liu, Yifan Zhang, Yifan Luo, Andrew C Yao

ICLRW 2024 Autonomous Data Selection with Language Models for Mathematical Texts Yifan Zhang, Yifan Luo, Yang Yuan, Andrew C Yao