Kunhao Zheng

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 10

Top Topics

Language Modelling

Top Venues

Publications

Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever
Formal Mathematics Statement Curriculum Learning. ICLR (2023)
Chen Ju, Kunhao Zheng, Jinxiang Liu, Peisen Zhao, Ya Zhang, Jianlong Chang, Qi Tian, Yanfeng Wang
Distilling Vision-Language Pre-Training to Collaborate with Weakly-Supervised Temporal Action Localization. CVPR (2023)
Tianbo Li, Min Lin, Zheyuan Hu, Kunhao Zheng, Giovanni Vignale, Kenji Kawaguchi, A. H. Castro Neto, Kostya S. Novoselov, Shuicheng Yan
D4FT: A Deep Learning Approach to Kohn-Sham Density Functional Theory. CoRR (2023)
Tianbo Li, Min Lin, Zheyuan Hu, Kunhao Zheng, Giovanni Vignale, Kenji Kawaguchi, A. H. Castro Neto, Kostya S. Novoselov, Shuicheng Yan
D4FT: A Deep Learning Approach to Kohn-Sham Density Functional Theory. ICLR (2023)
Chen Ju, Tengda Han, Kunhao Zheng, Ya Zhang, Weidi Xie
Prompting Visual-Language Models for Efficient Video Understanding. ECCV (35) (2022)
Kunhao Zheng, Jesse Michael Han, Stanislas Polu
miniF2F: a cross-system benchmark for formal Olympiad-level mathematics. ICLR (2022)
Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever
Formal Mathematics Statement Curriculum Learning. CoRR (2022)
Chen Ju, Kunhao Zheng, Jinxiang Liu, Peisen Zhao, Ya Zhang, Jianlong Chang, Yanfeng Wang, Qi Tian
Distilling Vision-Language Pre-training to Collaborate with Weakly-Supervised Temporal Action Localization. CoRR (2022)
Kunhao Zheng, Jesse Michael Han, Stanislas Polu
MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics. CoRR (2021)
Chen Ju, Tengda Han, Kunhao Zheng, Ya Zhang, Weidi Xie
Prompting Visual-Language Models for Efficient Video Understanding. CoRR (2021)