每次雇佣语言学家,推理成本就降低:论语言学规则作为有效的提示压缩器 | AILore Sift