Huiyan Wang

Nanjing University

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

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

Frequent co-authors

Zhiyuan Liu (1)Yihe Li (1)Ruijie Meng (1)Gregory J. Duck (1)

Papers (1)

Jul 14, 2026

1d ago·also NUS, Helmholtz

When is LLM-Based Program Reasoning Correct? A Completion Semantics for LLM-Based Code Inference

LLMs can produce context-dependent bug reports that are neither simply correct nor incorrect, revealing the hidden assumptions behind their reasoning.

Zhiyuan Liu, Yihe Li, Huiyan Wang +2

Code Generation & Program Synthesis Reasoning & Chain-of-Thought

Search

Huiyan Wang

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)