10 citations · 11 across the 6 of their papers we have counts for
1 paper · 2 filters
Chenyuan Yang, Natalie Neamtu, Chris Hawblitzel +2
Large language models (LLMs) have shown impressive capability to understand and develop code. However, their capability to rigorously reason about and prove code correctness remain…