Kaiyu Yang

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 30

Top Topics

Human Pose Estimation

Theorem Proving

Spatial Relations

Top Venues

Publications

Haonan Tan, Kaiyu Yang, Haitao Yu
An In-Depth Comparison of Neural and Probabilistic Tree Models for Learning-to-rank. ECIR (3) (2024)
Dan Zhang, Ziniu Hu, Sining Zhoubian, Zhengxiao Du, Kaiyu Yang, Zihan Wang, Yisong Yue, Yuxiao Dong, Jie Tang
SciGLM: Training Scientific Language Models with Self-Reflective Instruction Annotation and Tuning. CoRR (2024)
Hailiang Meng, Kaiyu Yang, Lingxuan Zhou, Shi Yixiao, Shibo Cai, Guanjun Bao
Optimal Design of Linkage-Driven Underactuated Hand for Precise Pinching and Powerful Grasping. IEEE Robotics Autom. Lett. 9 (4) (2024)
Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si
Autoformalizing Euclidean Geometry. CoRR (2024)
Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si
A Survey on Deep Learning for Theorem Proving. CoRR (2024)
Peiyang Song, Kaiyu Yang, Anima Anandkumar
Towards Large Language Models as Copilots for Theorem Proving in Lean. CoRR (2024)
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
Infinite Photorealistic Worlds Using Procedural Generation. CVPR (2023)
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
Infinite Photorealistic Worlds using Procedural Generation. CoRR (2023)
Kaiyu Yang, Aidan M. Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan J. Prenger, Animashree Anandkumar
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models. NeurIPS (2023)
Kaiyu Yang, Jia Deng
Learning Symbolic Rules for Reasoning in Quasi-Natural Language. Trans. Mach. Learn. Res. 2023 (2023)
Kaiyu Yang, Aidan M. Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models. CoRR (2023)
Kaiyu Yang, Jia Deng, Danqi Chen
Generating Natural Language Proofs with Verifier-Guided Search. CoRR (2022)
Xuanyi Zhou, Bingqing Yu, Yaojie Mao, Kaiyu Yang, Shibo Cai, Guanjun Bao
Grasp force optimization in the design of a humanoid dexterous hand fingertips. ROBIO (2022)
Kaiyu Yang, Jacqueline H. Yau, Li Fei-Fei, Jia Deng, Olga Russakovsky
A Study of Face Obfuscation in ImageNet. ICML (2022)
Kaiyu Yang, Jia Deng, Danqi Chen
Generating Natural Language Proofs with Verifier-Guided Search. EMNLP (2022)
Yuan Gao, Kaiyu Yang, Yuanlong Chen, Min Liu, Noureddine El Karoui
Bidding Agent Design in the LinkedIn Ad Marketplace. CoRR (2022)
Kaiyu Yang, Jacqueline Yau, Li Fei-Fei, Jia Deng, Olga Russakovsky
A Study of Face Obfuscation in ImageNet. CoRR (2021)
Kaiyu Yang, Jia Deng
Learning Symbolic Rules for Reasoning in Quasi-Natural Language. CoRR (2021)
Ankit Goyal, Kaiyu Yang, Dawei Yang, Jia Deng
Rel3D: A Minimally Contrastive Benchmark for Grounding Spatial Relations in 3D. NeurIPS (2020)
Kaiyu Yang, Jia Deng
Strongly Incremental Constituency Parsing with Graph Neural Networks. NeurIPS (2020)
Ankit Goyal, Kaiyu Yang, Dawei Yang, Jia Deng
Rel3D: A Minimally Contrastive Benchmark for Grounding Spatial Relations in 3D. CoRR (2020)
Kaiyu Yang, Jia Deng
Strongly Incremental Constituency Parsing with Graph Neural Networks. CoRR (2020)
Kaiyu Yang, Klint Qinami, Li Fei-Fei, Jia Deng, Olga Russakovsky
Towards fairer datasets: filtering and balancing the distribution of the people subtree in the ImageNet hierarchy. FAT* (2020)
Kaiyu Yang, Klint Qinami, Li Fei-Fei, Jia Deng, Olga Russakovsky
Towards Fairer Datasets: Filtering and Balancing the Distribution of the People Subtree in the ImageNet Hierarchy. CoRR (2019)
Kaiyu Yang, Jia Deng
Learning to Prove Theorems via Interacting with Proof Assistants. CoRR (2019)
Kaiyu Yang, Olga Russakovsky, Jia Deng
SpatialSense: An Adversarially Crowdsourced Benchmark for Spatial Relation Recognition. ICCV (2019)
Kaiyu Yang, Jia Deng
Learning to Prove Theorems via Interacting with Proof Assistants. ICML (2019)
Kaiyu Yang, Olga Russakovsky, Jia Deng
SpatialSense: An Adversarially Crowdsourced Benchmark for Spatial Relation Recognition. CoRR (2019)
Alejandro Newell, Kaiyu Yang, Jia Deng
Stacked Hourglass Networks for Human Pose Estimation. CoRR (2016)
Alejandro Newell, Kaiyu Yang, Jia Deng
Stacked Hourglass Networks for Human Pose Estimation. ECCV (8) (2016)