Ruijie Meng

CISPA Helmholtz Center for Information Security

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)Huiyan Wang (1)

Papers (1)

Jul 14, 2026

Tsinghua AIJul 14, 2026·also NUS, Helmholtz, NJU

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

LLM-generated bug reports often hinge on implicit assumptions, and this framework reveals how to validate their correctness through a novel witness-generation approach.

Zhiyuan Liu, Huiyan Wang, Ruijie Meng

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

Search

Ruijie Meng

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)