SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference
arXiv:2602.20610v1 Announce Type: cross Abstract: Specifications are vital for ensuring program correctness, yet writing them manually remains challenging and time-intensive. Recent large language model (LLM)-based …
Cuong Chi Le, Minh V. T Pham, Tung Vu Duy, Cuong Duc Van, Huy N. Phan, Hoang N. Phan, Tien N. Nguyen
6 views
