SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference
DGX agentarXiv:2602.20610v3 Announce Type: replace-cross Abstract: Specifications are vital for ensuring program correctness, yet writing them manually remains challenging and time-intensive. Recent large lang