Huifeng Sun

Tencent

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)RLHF & Preference Learning (1)

Frequent co-authors

Zhechong Huang (1)Zhao Zhang (1)Zeyu Sun (1)Hui Sun (1)

Papers (1)

Apr 7, 2026

3w ago·also CAS, Tencent AI

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis

RL agents can learn to write stronger formal specifications by using automatically generated negative tests as a reward signal for completeness, outperforming standard verification-based rewards.

Zhechong Huang, Zhao Zhang, Zeyu Sun +3

Code Generation & Program Synthesis RLHF & Preference Learning

Search

Huifeng Sun

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)