Kaiyu Yang

According to our database, Kaiyu Yang authored at least 16 papers between 2016 and 2024.

Collaborative distances:

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

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

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

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

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

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

2021

Learning Symbolic Rules for Reasoning in Quasi-Natural Language.

Kaiyu Yang, Jia Deng

CoRR, 2021

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