16 citations · 19 across the 24 of their papers we have counts for
1 paper · 1 filter
Sirui Hong, Zhijie Liu, Tengfei Li +3
Evaluating LLM-generated interactive software requires execution in addition to static analysis. The key difficulty is that correctness is a graph-level reachable property over lat…