关注
Kaiyu Yang
标题
引用次数
引用次数
年份
Stacked hourglass networks for human pose estimation
A Newell, K Yang, J Deng
European Conference on Computer Vision (ECCV), 2016
59852016
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
3392020
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
1342022
Learning to Prove Theorems via Interacting with Proof Assistants
K Yang, J Deng
International Conference on Machine Learning (ICML), 2019
1182019
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
732023
SpatialSense: An Adversarially Crowdsourced Benchmark for Spatial Relation Recognition
K Yang, O Russakovsky, J Deng
International Conference on Computer Vision (ICCV), 2019
452019
Generating Natural Language Proofs with Verifier-Guided Search
K Yang, J Deng, D Chen
Conference on Empirical Methods in Natural Language Processing (EMNLP), 2022
442022
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
412020
Strongly Incremental Constituency Parsing with Graph Neural Networks
K Yang, J Deng
Advances in Neural Information Processing Systems (NeurIPS), 2020
342020
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
222023
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
arXiv preprint arXiv:2404.12534, 2024
12024
A Survey on Deep Learning for Theorem Proving
Z Li, J Sun, L Murphy, Q Su, Z Li, X Zhang, K Yang, X Si
arXiv preprint arXiv:2404.09939, 2024
2024
系统目前无法执行此操作,请稍后再试。
文章 1–14