Kunhao Zheng

According to our database, Kunhao Zheng authored at least 5 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Formal Mathematics Statement Curriculum Learning.

Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever

Proceedings of the Eleventh International Conference on Learning Representations, 2023

D4FT: A Deep Learning Approach to Kohn-Sham Density Functional Theory.

Tianbo Li, Min Lin, Zheyuan Hu, Kunhao Zheng, Giovanni Vignale, Kenji Kawaguchi, A. H. Castro Neto, Kostya S. Novoselov, Shuicheng Yan

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Distilling Vision-Language Pre-Training to Collaborate with Weakly-Supervised Temporal Action Localization.

Chen Ju, Kunhao Zheng, Jinxiang Liu, Peisen Zhao, Ya Zhang, Jianlong Chang, Qi Tian, Yanfeng Wang

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2022

miniF2F: a cross-system benchmark for formal Olympiad-level mathematics.

Kunhao Zheng, Jesse Michael Han, Stanislas Polu

Proceedings of the Tenth International Conference on Learning Representations, 2022

Prompting Visual-Language Models for Efficient Video Understanding.

Chen Ju, Tengda Han, Kunhao Zheng, Ya Zhang, Weidi Xie

Proceedings of the Computer Vision - ECCV 2022, 2022