Kunhao Zheng

According to our database, Kunhao Zheng authored at least 16 papers between 2022 and 2026.

Collaborative distances:

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

2026

Extrapolative Weight Averaging Reveals Correctness-Efficiency Frontiers in Code RL.

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

CoRR, May, 2026

WybeCoder: Verified Imperative Code Generation.

Fabian Gloeckle, Mantas Baksys, Darius Feher, Kunhao Zheng, Amaury Hayat, Sean B. Holden, Gabriel Synnaeve, Peter W. O'Hearn

CoRR, March, 2026

2025

CWM: An Open-Weights LLM for Research on Code Generation with World Models.

FAIR CodeGen team, Jade Copet, Quentin Carbonneaux, Gal Cohen, Jonas Gehring, Jacob Kahn, Jannik Kossen, Felix Kreuk, Emily McMilin, Michel Meyer, Yuxiang Wei, David Zhang, Kunhao Zheng, Jordi Armengol-Estapé, Pedram Bashiri, Maximilian Beck, Pierre Chambon, Abhishek Charnalia, Chris Cummins, Juliette Decugis, Zacharias V. Fisches, François Fleuret, Fabian Gloeckle, Alex Gu, Michael Hassid, Daniel Haziza, Badr Youbi Idrissi, Christian Keller, Rahul Kindi, Hugh Leather, Gallil Maimon, Aram H. Markosyan, Francisco Massa, Pierre-Emmanuel Mazaré, Vegard Mella, Naila Murray, Keyur Muzumdar, Peter W. O'Hearn, Matteo Pagliardini, Dmitrii Pedchenko, Tal Remez, Volker Seeker, Marco Selvi, Oren Sultan, Sida Wang, Luca Wehrstedt, Ori Yoran, Lingming Zhang, Taco Cohen, Yossi Adi, Gabriel Synnaeve

CoRR, October, 2025

Soft Policy Optimization: Online Off-Policy RL for Sequence Models.

Taco Cohen, David W. Zhang, Kunhao Zheng, Yunhao Tang, Rémi Munos, Gabriel Synnaeve

CoRR, March, 2025

Improving Diversity in Language Models: When Temperature Fails, Change the Loss.

Alexandre Verine, Florian Le Bronnec, Kunhao Zheng, Alexandre Allauzen, Yann Chevaleyre, Benjamin Négrevergne

Proceedings of the Forty-second International Conference on Machine Learning, 2025

Optimizing Language Models for Inference Time Objectives using Reinforcement Learning.

Yunhao Tang, Kunhao Zheng, Gabriel Synnaeve, Rémi Munos

Proceedings of the Forty-second International Conference on Machine Learning, 2025

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

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

Proceedings of the Forty-second International Conference on Machine Learning, 2025

PILAF: Optimal Human Preference Sampling for Reward Modeling.

Yunzhen Feng, Ariel Kwiatkowski, Kunhao Zheng, Julia Kempe, Yaqi Duan

Proceedings of the Forty-second International Conference on Machine Learning, 2025

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

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

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

The KoLMogorov Test: Compression by Code Generation.

Ori Yoran, Kunhao Zheng, Fabian Gloeckle, Jonas Gehring, Gabriel Synnaeve, Taco Cohen

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

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

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