| Stacked hourglass networks for human pose estimation A Newell, K Yang, J Deng European Conference on Computer Vision (ECCV), 2016 | 7231 | 2016 |
| 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 | 503 | 2020 |
| 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 | 442 | 2023 |
| Learning to Prove Theorems via Interacting with Proof Assistants K Yang, J Deng International Conference on Machine Learning (ICML), 2019 | 221 | 2019 |
| 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 | 215 | 2022 |
| 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 | 157 | 2023 |
| Generating Natural Language Proofs with Verifier-Guided Search K Yang, J Deng, D Chen Conference on Empirical Methods in Natural Language Processing (EMNLP), 2022 | 94 | 2022 |
| SpatialSense: An Adversarially Crowdsourced Benchmark for Spatial Relation Recognition K Yang, O Russakovsky, J Deng International Conference on Computer Vision (ICCV), 2019 | 84 | 2019 |
| Formal Mathematical Reasoning: A New Frontier in AI K Yang, G Poesia, J He, W Li, K Lauter, S Chaudhuri, D Song International Conference on Machine Learning (ICML), 2025 | 78 | 2025 |
| Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving Y Lin, S Tang, B Lyu, J Wu, H Lin, K Yang, J Li, M Xia, D Chen, S Arora, ... Conference on Language Modeling (COLM), 2025 | 75 | 2025 |
| Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean P Song, K Yang, A Anandkumar International Conference on Neuro-symbolic Systems (NeuS), 2025 | 63* | 2025 |
| Strongly Incremental Constituency Parsing with Graph Neural Networks K Yang, J Deng Advances in Neural Information Processing Systems (NeurIPS), 2020 | 56 | 2020 |
| A Survey on Deep Learning for Theorem Proving Z Li, J Sun, L Murphy, Q Su, Z Li, X Zhang, K Yang, X Si Conference on Language Modeling (COLM), 2024 | 53 | 2024 |
| 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 | 50 | 2020 |
| Autoformalizing Euclidean Geometry L Murphy*, K Yang*, J Sun, L Zhaoyu, A Anandkumar, X Si International Conference on Machine Learning (ICML), 2024 | 38 | 2024 |
| Goedel-prover-v2: Scaling formal theorem proving with scaffolded data synthesis and self-correction Y Lin, S Tang, B Lyu, Z Yang, JH Chung, H Zhao, L Jiang, Y Geng, J Ge, ... arXiv preprint arXiv:2508.03613, 2025 | 29 | 2025 |
| SciInstruct: a Self-Reflective Instruction Annotated Dataset for Training Scientific Language Models D Zhang, Z Hu, S Zhoubian, Z Du, K Yang, Z Wang, Y Yue, Y Dong, ... Advances in Neural Information Processing Systems (NeurIPS), 2024 | 29* | 2024 |
| Learning symbolic rules for reasoning in quasi-natural language K Yang, J Deng Transactions on Machine Learning Research (TMLR), 2023 | 18 | 2023 |
| VERINA: Benchmarking Verifiable Code Generation Z Ye, Z Yan, J He, T Kasriel, K Yang, D Song arXiv preprint arXiv:2505.23135, 2025 | 9 | 2025 |
| Spectral journey: How transformers predict the shortest path A Cohen, A Gromov, K Yang, Y Tian arXiv preprint arXiv:2502.08794, 2025 | 6 | 2025 |
Jia DengPrinceton UniversityVerified email at cs.princeton.edu
