3 citations · 4 across the 5 of their papers we have counts for
1 paper · 1 filter
Youcheng Sun, Jiawen Liu, Daniel Kroening +1
Verifying LLM-generated systems code is hard: bugs are prevalent, formal specifications are missing, and safety contracts are encoded implicitly at call sites rather than enforced…