关注
Kunhao Zheng
标题
引用次数
引用次数
年份
Prompting visual-language models for efficient video understanding
C Ju, T Han, K Zheng, Y Zhang, W Xie
European Conference on Computer Vision, 105-124, 2022
2502022
Formal mathematics statement curriculum learning
S Polu, JM Han, K Zheng, M Baksys, I Babuschkin, I Sutskever
arXiv preprint arXiv:2202.01344, 2022
1012022
Minif2f: a cross-system benchmark for formal olympiad-level mathematics
K Zheng, JM Han, S Polu
arXiv preprint arXiv:2109.00110, 2021
632021
Distilling vision-language pre-training to collaborate with weakly-supervised temporal action localization
C Ju, K Zheng, J Liu, P Zhao, Y Zhang, J Chang, Q Tian, Y Wang
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2023
132023
D4FT: A deep learning approach to Kohn-Sham density functional theory
T Li, M Lin, Z Hu, K Zheng, G Vignale, K Kawaguchi, AH Neto, ...
arXiv preprint arXiv:2303.00399, 2023
62023
Jax-xc: Exchange correlation functionals library in jax
K Zheng, M Lin
Workshop on''Machine Learning for Materials''ICLR 2023, 2023
42023
Neural integral functionals
Z Hu, T Li, Z Shi, K Zheng, G Vignale, K Kawaguchi, YAN Shuicheng, ...
ICLR 2023 Workshop on Physics for Machine Learning, 2023
12023
HloEnv: A Graph Rewrite Environment for Deep Learning Compiler Optimization Research
CY Oh, K Zheng, B Kang, X Wan, Z Xu, YAN Shuicheng, M Lin, Y Wang
2022
系统目前无法执行此操作，请稍后再试。
文章 1–8