TY  - RPRT
TI  - SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference
AU  - Cuong Chi Le
AU  - Minh V. T Pham
AU  - Tung Vu Duy
AU  - Cuong Duc Van
AU  - Huy N. Phan
AU  - Hoang N. Phan
AU  - Tien N. Nguyen
PY  - 2026
UR  - https://arxiv.org/abs/2602.20610
ID  - 2602.20610
ER  -