Follow
Kaiyu Yang
Title
Cited by
Cited by
Year
Stacked hourglass networks for human pose estimation
A Newell, K Yang, J Deng
European Conference on Computer Vision (ECCV), 2016
59062016
Towards fairer datasets: Filtering and balancing the distribution of the people subtree in the imagenet hierarchy
K Yang, K Qinami, L Fei-Fei, J Deng, O Russakovsky
Conference on Fairness, Accountability, and Transparency (FAT*), 2020
3292020
A Study of Face Obfuscation in ImageNet
K Yang, J Yau, L Fei-Fei, J Deng, O Russakovsky
International Conference on Machine Learning (ICML), 2022
1312022
Learning to Prove Theorems via Interacting with Proof Assistants
K Yang, J Deng
International Conference on Machine Learning (ICML), 2019
1162019
LeanDojo: Theorem proving with retrieval-augmented language models
K Yang, AM Swope, A Gu, R Chalamala, P Song, S Yu, S Godil, ...
Advances in Neural Information Processing Systems (NeurIPS), 2023
672023
Generating Natural Language Proofs with Verifier-Guided Search
K Yang, J Deng, D Chen
Conference on Empirical Methods in Natural Language Processing (EMNLP), 2022
432022
SpatialSense: An Adversarially Crowdsourced Benchmark for Spatial Relation Recognition
K Yang, O Russakovsky, J Deng
International Conference on Computer Vision (ICCV), 2019
432019
Rel3D: A Minimally Contrastive Benchmark for Grounding Spatial Relations in 3D
A Goyal, K Yang, D Yang, J Deng
Advances in Neural Information Processing Systems (NeurIPS), 2020
382020
Strongly Incremental Constituency Parsing with Graph Neural Networks
K Yang, J Deng
Advances in Neural Information Processing Systems (NeurIPS), 2020
332020
Infinite Photorealistic Worlds using Procedural Generation
A Raistrick, L Lipson, Z Ma, L Mei, M Wang, Y Zuo, K Kayan, H Wen, ...
Conference on Computer Vision and Pattern Recognition (CVPR), 12630-12641, 2023
182023
Learning symbolic rules for reasoning in quasi-natural language
K Yang, J Deng
Transactions on Machine Learning Research (TMLR), 2023
122023
SciGLM: Training Scientific Language Models with Self-Reflective Instruction Annotation and Tuning
D Zhang, Z Hu, S Zhoubian, Z Du, K Yang, Z Wang, Y Yue, Y Dong, ...
arXiv preprint arXiv:2401.07950, 2024
22024
Towards Large Language Models as Copilots for Theorem Proving in Lean
P Song, K Yang†, A Anandkumar†
The 3rd Workshop on Mathematical Reasoning and AI at NeurIPS'23, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–13