Kaiyu Yang

According to our database, Kaiyu Yang authored at least 27 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Spectral Journey: How Transformers Predict the Shortest Path.

Andrew Cohen, Andrey Gromov, Kaiyu Yang, Yuandong Tian

CoRR, February, 2025

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving.

Yong Lin, Shange Tang, Bohan Lyu, Jiayun Wu, Hongzhou Lin, Kaiyu Yang, Jia Li, Mengzhou Xia, Danqi Chen, Sanjeev Arora, Chi Jin

CoRR, February, 2025

2024

Optimal Design of Linkage-Driven Underactuated Hand for Precise Pinching and Powerful Grasping.

Hailiang Meng, Kaiyu Yang, Lingxuan Zhou, Shi Yixiao, Shibo Cai, Guanjun Bao

IEEE Robotics Autom. Lett., 2024

Formal Mathematical Reasoning: A New Frontier in AI.

Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin Lauter, Swarat Chaudhuri, Dawn Song

CoRR, 2024

Towards Large Language Models as Copilots for Theorem Proving in Lean.

Peiyang Song, Kaiyu Yang, Anima Anandkumar

CoRR, 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

CoRR, 2024

SciGLM: Training Scientific Language Models with Self-Reflective Instruction Annotation and Tuning.

Dan Zhang, Ziniu Hu, Sining Zhoubian, Zhengxiao Du, Kaiyu Yang, Zihan Wang, Yisong Yue, Yuxiao Dong, Jie Tang

CoRR, 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

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Towards Incorporating Personalized Context for Conversational Information Seeking.

Haitao Yu, Lingzhen Zheng, Kaiyu Yang, Sumio Fujita, Hideo Joho

Proceedings of the Workshop Information Retrieval's Role in RAG Systems (IR-RAG 2024) co-located with the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2024), 2024

Autoformalizing Euclidean Geometry.

Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si

Proceedings of the Forty-first International Conference on Machine Learning, 2024

An In-Depth Comparison of Neural and Probabilistic Tree Models for Learning-to-rank.

Haonan Tan, Kaiyu Yang, Haitao Yu

Proceedings of the Advances in Information Retrieval, 2024

2023

Learning Symbolic Rules for Reasoning in Quasi-Natural Language.

Kaiyu Yang, Jia Deng

Trans. Mach. Learn. Res., 2023

University of Tsukuba Team at the TREC 2023 Interactive Knowledge Assistance Track.

Lingzhen Zheng, Kaiyu Yang, Haitao Yu, Sumio Fujita, Hideo Joho

Proceedings of the Thirty-Second Text REtrieval Conference Proceedings (TREC 2023), 2023

University of Tsukuba Team at the TREC 2023 Deep Learning Track.

Kaiyu Yang, Lingzhen Zheng, Haitao Yu, Sumio Fujita, Hideo Joho

Proceedings of the Thirty-Second Text REtrieval Conference Proceedings (TREC 2023), 2023

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.

Kaiyu Yang, Aidan M. Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan J. Prenger, Animashree Anandkumar

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 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

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2022

Neurosymbolic Machine Learning for Reasoning

Kaiyu Yang

PhD thesis, 2022

Bidding Agent Design in the LinkedIn Ad Marketplace.

Yuan Gao, Kaiyu Yang, Yuanlong Chen, Min Liu, Noureddine El Karoui

CoRR, 2022

Grasp force optimization in the design of a humanoid dexterous hand fingertips.

Xuanyi Zhou, Bingqing Yu, Yaojie Mao, Kaiyu Yang, Shibo Cai, Guanjun Bao

Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2022

A Study of Face Obfuscation in ImageNet.

Kaiyu Yang, Jacqueline H. Yau, Li Fei-Fei, Jia Deng, Olga Russakovsky

Proceedings of the International Conference on Machine Learning, 2022

Generating Natural Language Proofs with Verifier-Guided Search.

Kaiyu Yang, Jia Deng, Danqi Chen

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

2020

Strongly Incremental Constituency Parsing with Graph Neural Networks.

Kaiyu Yang, Jia Deng

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Rel3D: A Minimally Contrastive Benchmark for Grounding Spatial Relations in 3D.

Ankit Goyal, Kaiyu Yang, Dawei Yang, Jia Deng

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Towards fairer datasets: filtering and balancing the distribution of the people subtree in the ImageNet hierarchy.

Kaiyu Yang, Klint Qinami, Li Fei-Fei, Jia Deng, Olga Russakovsky

Proceedings of the FAT* '20: Conference on Fairness, 2020

2019

Learning to Prove Theorems via Interacting with Proof Assistants.

Kaiyu Yang, Jia Deng

Proceedings of the 36th International Conference on Machine Learning, 2019

SpatialSense: An Adversarially Crowdsourced Benchmark for Spatial Relation Recognition.

Kaiyu Yang, Olga Russakovsky, Jia Deng

Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision, 2019

2016

Stacked Hourglass Networks for Human Pose Estimation.

Alejandro Newell, Kaiyu Yang, Jia Deng

Proceedings of the Computer Vision - ECCV 2016, 2016