AutoFraming: Synthesizing Dynamic Frames of C Code with LLMs

arXiv:2610.29046v1 Announce Type: new Abstract: Large language models (LLMs) have shown considerable promise in synthesizing formal specifications from source code. However, existing approaches primarily focus on functional contracts and loop invariants, while largely neglecting frame conditions, wh

arXiv cs.AIDonnerstag 06:00 · 22.10.1 Min. Lesezeit