1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
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…