用于稳定且可认证语言生成的查询反馈与教学研究

研究人员针对极限语言生成问题，提出了可认证性（certifiability）概念，并构建了涵盖正确性、稳定性和可认证性三个严苛层级的教学维度层级体系。该体系借鉴学习理论中的教学集，用于衡量确保生成达标所需的最少样本数。研究刻画了含与不含成员查询反馈下的稳定及可认证生成，并给出了稳定生成的有限证明刻画（finite-witness characterization）。