Author

Han Zhou

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Oct 2026

AutoFraming: Synthesizing Dynamic Frames of C Code with LLMs

Large language models (LLMs) have shown considerable promise in synthesizing formal specifications from source code. However, existing approaches primarily focus on functional contracts and loop invariants, while largely neglecting frame conditions, which specify the memory locations that may or may not be modified dur...

Han Zhou, Yuxuan Luo, Dian-Xiang Xu · 0 citations

Preprint Oct 2026

CorrectRTL: Boost RTL Generation Quality Through Automated Self-Correction with Instruction Decomposition

Large language models (LLMs) have shown strong promise in specification-to-RTL generation. Among the explorations, the self-correction paradigm has significantly advanced LLM-based RTL generation. However, two challenges limit further progress. Existing benchmarks are saturated by advanced LLMs, leaving little room to...

Jing Wang, Shang Liu, Han Zhou et al. · 0 citations