Zhizhen Qin

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Eval Frameworks & Benchmarks (1)Reasoning & Chain-of-Thought (1)

Frequent co-authors

Zhe Ye (1)Aidan Z. H. Yang (1)Huangyuan Su (1)Zhenyu Liao (1)

Papers (1)

Apr 12, 2026

Zhe Ye +82w ago

Intent-aligned Formal Specification Synthesis via Traceable Refinement

Turns out, you can bootstrap better formal specification synthesis by training on the iterative refinement trajectories of a traceable specification generator, leading to substantial gains in both specification accuracy and general reasoning.

Zhe Ye, Aidan Z. H. Yang, Huangyuan Su +6

Code Generation & Program Synthesis Eval Frameworks & Benchmarks Reasoning & Chain-of-Thought

Search

Zhizhen Qin

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)