Kunhao Zheng
11 papers · 2022–2025 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌉 Interdisciplinary Bridge · Bronze 🌍 Conference Polyglot · Bronze 🗺️ Taxonomy Completionist (19) 📈 Trend Setter ⚡ Prolific Year · Productive
❓
The Questioner
💎
Century Club · Bronze
Top co-authors
Research topics
Artificial Intelligence
(8)
Core AI
(8)
Machine Learning
(6)
Natural Language Processing
(4)
Generation
(3)
Optimization & Theory
(3)
Reinforcement Learning
(2)
Core Methods
(2)
Methods
(2)
Deep Learning
(1)
Knowledge & Reasoning
(1)
Application Areas
(1)
Learning Paradigms
(1)
Learning Types · Machine Learning
(1)
Learning Types · Deep Learning
(1)
Keywords
language model
(3)
code generation
(3)
reinforcement learning
(2)
formal mathematics
(2)
theorem proving
(1)
weakly supervised learning
(1)
reward modeling
(1)
energy minimization
(1)
curriculum learning
(1)
program synthesis
(1)
deep learning
(1)
majority voting
(1)
benchmark dataset
(1)
loss function
(1)
proof search
(1)
knowledge distillation
(1)
feature extraction
(1)
vision-language pre-training
(1)
neural theorem proving
(1)
stochastic gradient descent
(1)
Papers
Improving Diversity in Language Models: When Temperature Fails, Change the Loss
ICML 2025
Optimizing Language Models for Inference Time Objectives using Reinforcement Learning
ICML 2025
PILAF: Optimal Human Preference Sampling for Reward Modeling
ICML 2025
RLEF: Grounding Code LLMs in Execution Feedback with Reinforcement Learning
ICML 2025
The KoLMogorov Test: Compression by Code Generation
ICLR 2025
What Makes Large Language Models Reason in (Multi-Turn) Code Generation?
ICLR 2025
D4FT: A Deep Learning Approach to Kohn-Sham Density Functional Theory
ICLR 2023
Distilling Vision-Language Pre-Training To Collaborate With Weakly-Supervised Temporal Action Localization
CVPR 2023
Formal Mathematics Statement Curriculum Learning
ICLR 2023
miniF2F: a cross-system benchmark for formal Olympiad-level mathematics
ICLR 2022
Prompting Visual-Language Models for Efficient Video Understanding
ECCV 2022