@misc{indiciae9b5d849612f5,
  title = {SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference},
  author = {Cuong Chi Le and Minh V. T Pham and Tung Vu Duy and Cuong Duc Van and Huy N. Phan and Hoang N. Phan and Tien N. Nguyen},
  year = {2026},
  url = {https://arxiv.org/abs/2602.20610},
  note = {Source identifier: 2602.20610}
}