1.5k citations · 3.8k across the 46 of their papers we have counts for
1 paper · 2 filters
Junchi Liao, Jiawen Deng, Fuji Ren
Visible tests are a common gate for LLM-generated code, but passing them does not certify specification correctness. We study a deployment-like monitoring problem: after code has p…