AI-Assisted Specification