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 | 310 | 2022 |
Formal mathematics statement curriculum learning S Polu, JM Han, K Zheng, M Baksys, I Babuschkin, I Sutskever arXiv preprint arXiv:2202.01344, 2022 | 115 | 2022 |
Minif2f: a cross-system benchmark for formal olympiad-level mathematics K Zheng, JM Han, S Polu arXiv preprint arXiv:2109.00110, 2021 | 80 | 2021 |
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 | 19 | 2023 |
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 | 6 | 2023 |
Jax-xc: Exchange correlation functionals library in jax K Zheng, M Lin Workshop on''Machine Learning for Materials''ICLR 2023, 2023 | 4 | 2023 |
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 | 1 | 2023 |
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 | | |