Yang, Kaiyu

20 publications

ICLR 2026 Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction Yong Lin, Shange Tang, Bohan Lyu, Ziran Yang, Jui-Hui Chung, Haoyu Zhao, Lai Jiang, Yihan Geng, Jiawei Ge, Jingruo Sun, Jiayun Wu, Jiri Gesi, Ximing Lu, David Acuna, Kaiyu Yang, Hongzhou Lin, Yejin Choi, Danqi Chen, Sanjeev Arora, Chi Jin

ICLR 2026 Lean Finder: Semantic Search for Mathlib That Understands User Intents Jialin Lu, Kye Emond, Kaiyu Yang, Swarat Chaudhuri, Weiran Sun, Wuyang Chen

ICLR 2026 ProofOptimizer: Training Language Models to Simplify Proofs Without Human Demonstrations Alex Gu, Bartosz Piotrowski, Fabian Gloeckle, Kaiyu Yang, Aram H. Markosyan

ICLR 2026 VERINA: Benchmarking Verifiable Code Generation Zhe Ye, Zhengxu Yan, Jingxuan He, Timothe Kasriel, Kaiyu Yang, Dawn Song

ICML 2025 Position: Formal Mathematical Reasoning—A New Frontier in AI Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter, Swarat Chaudhuri, Dawn Song

ICLR 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

ICLRW 2025 Spectral Journey: How Transformers Predict the Shortest Path Andrew Cohen, Andrey Gromov, Kaiyu Yang, Yuandong Tian

ICML 2024 Autoformalizing Euclidean Geometry Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si

NeurIPSW 2024 Reasoning in Reasoning: A Hierarchical Framework for Better and Faster Neural Theorem Proving Ziyu Ye, Jiacheng Chen, Jonathan Light, Yifei Wang, Jiankai Sun, Mac Schwager, Philip Torr, Guohao Li, Yuxin Chen, Kaiyu Yang, Yisong Yue, Ziniu Hu

NeurIPS 2024 SciInstruct: A Self-Reflective Instruction Annotated Dataset for Training Scientific Language Models Dan Zhang, Ziniu Hu, Sining Zhoubian, Zhengxiao Du, Kaiyu Yang, Zihan Wang, Yisong Yue, Yuxiao Dong, Jie Tang

CVPR 2023 Infinite Photorealistic Worlds Using Procedural Generation Alexander Raistrick, Lahav Lipson, Zeyu Ma, Lingjie Mei, Mingzhe Wang, Yiming Zuo, Karhan Kayan, Hongyu Wen, Beining Han, Yihan Wang, Alejandro Newell, Hei Law, Ankit Goyal, Kaiyu Yang, Jia Deng

NeurIPS 2023 LeanDojo: Theorem Proving with Retrieval-Augmented Language Models Kaiyu Yang, Aidan Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan J Prenger, Animashree Anandkumar

TMLR 2023 Learning Symbolic Rules for Reasoning in Quasi-Natural Language Kaiyu Yang, Jia Deng

NeurIPSW 2023 Towards Large Language Models as Copilots for Theorem Proving in Lean Peiyang Song, Kaiyu Yang, Anima Anandkumar

ICML 2022 A Study of Face Obfuscation in ImageNet Kaiyu Yang, Jacqueline H. Yau, Li Fei-Fei, Jia Deng, Olga Russakovsky

NeurIPS 2020 Rel3D: A Minimally Contrastive Benchmark for Grounding Spatial Relations in 3D Ankit Goyal, Kaiyu Yang, Dawei Yang, Jia Deng

NeurIPS 2020 Strongly Incremental Constituency Parsing with Graph Neural Networks Kaiyu Yang, Jia Deng

ICML 2019 Learning to Prove Theorems via Interacting with Proof Assistants Kaiyu Yang, Jia Deng

ICCV 2019 SpatialSense: An Adversarially Crowdsourced Benchmark for Spatial Relation Recognition Kaiyu Yang, Olga Russakovsky, Jia Deng

ECCV 2016 Stacked Hourglass Networks for Human Pose Estimation Alejandro Newell, Kaiyu Yang, Jia Deng