Correctness, efficiency, and code quality
CLEARTRANS and SWIFTTRANS treat translated code as an engineering artifact: it should run correctly, run efficiently, and avoid structural debt.
HIT Shenzhen / KLC Lab / Code LLMs
I study how language models learn from executable feedback: code generation with denser rewards, translation systems that preserve both correctness and quality, and reasoning workflows that know when evidence is sufficient.
The work is practical at its core: feedback should be observable, reasoning should be controllable, and translated code should remain useful after the benchmark is over.
CLEARTRANS and SWIFTTRANS treat translated code as an engineering artifact: it should run correctly, run efficiently, and avoid structural debt.
SuCo and safety data construction explore sufficiency-guided reasoning, benchmark validation, and human-AI collaboration for trustworthy evaluation.
Computer Science and Technology training across systems, programming languages, mathematics, and engineering practice.
Researching code LLMs, reasoning strategies, translation quality, and safety evaluation through executable feedback.
Current work spans CLEARTRANS, SWIFTTRANS, SuCo, and a Shenzhen Natural Science Foundation safety testing project.
The page stays quiet visually, but the cards respond to motion: hover, tilt, and soft focus reveal how each project connects reward, reasoning, and evaluation.
Introduces CLEARTRANS, a reasoning LLM framework for smell-free code translation using Anchor-to-Thought CoT synthesis and dual-reward reinforcement learning.
translated code -> maintainable artifactImplements SWIFTTRANS, a two-stage LLM code translation framework that improves functional correctness and runtime efficiency across three major benchmarks.
correctness + efficiency, evaluated togetherLed experimental validation across benchmark datasets and improved response accuracy by about 3%, demonstrating the value of sufficiency-guided adaptive reasoning.
reason only as long as evidence requiresDevised a human-AI collaborative annotation framework using LLM auto-generation and classification to synthesize cross-modal security data for real-world applications.
safety data -> auditable workflowI like work that is simple to explain after it is hard to build: clear feedback, sharp experiments, and enough taste to make the system feel inevitable.
First Prize, Provincial Level, Chinese Mathematics Competitions for University Students, 2024.
Feet on the trail, lens on the world.
Volunteer at Shenzhen Marathon and technical department member of the university table tennis club.
Based in Shenzhen, Guangdong, China. Best reached by email for code LLMs, reasoning, or safety evaluation discussions.