He Du
4 papers · 2025–2026 · 3 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 ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
🗺️
Taxonomy Completionist
(11)
Venues
Top co-authors
Research topics
Artificial Intelligence
(4)
Core AI
(4)
Deep Learning
(2)
Machine Learning
(2)
Natural Language Processing
(2)
Learning Types
(2)
Computer Science
(1)
Application Areas
(1)
Applications · Natural Language Processing
(1)
Applications · Computer Science
(1)
Optimization & Theory
(1)
Resources & Methods
(1)
Keywords
code generation
(2)
symbolic reasoning
(1)
logical reasoning
(1)
model distillation
(1)
first-order logic
(1)
software engineering
(1)
language model
(1)
evolutionary algorithm
(1)
retrieval-augmented generation
(1)
github issue
(1)
bug fixing
(1)
data synthesis
(1)
dataset generation
(1)
open-source model
(1)
large language model
(1)
reinforcement learning with verifiable reward
(1)
software development lifecycle
(1)
repository debugging
(1)
benchmark evaluation
(1)
verifiable data
(1)
Papers
Powering Verifiable Learning via Automated Evolutionary Data Synthesis
ACL 2026
Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation
ICLR 2025
Prompting Large Language Models to Tackle the Full Software Development Lifecycle: A Case Study
COLING 2025
SWE-Fixer: Training Open-Source LLMs for Effective and Efficient GitHub Issue Resolution
ACL 2025