Kunhao Zheng

According to our database, Kunhao Zheng authored at least 7 papers between 2022 and 2024.

Collaborative distances:

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

2024

What Makes Large Language Models Reason in (Multi-Turn) Code Generation?

Kunhao Zheng, Juliette Decugis, Jonas Gehring, Taco Cohen, Benjamin Négrevergne, Gabriel Synnaeve

CoRR, 2024

RLEF: Grounding Code LLMs in Execution Feedback with Reinforcement Learning.

Jonas Gehring, Kunhao Zheng, Jade Copet, Vegard Mella, Taco Cohen, Gabriel Synnaeve

CoRR, 2024

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