依约束的自回归生成：带有覆盖保证的束搜索

通过引入两个新的扩展，我们可以生成带有理论覆盖保证的序列集合。第一个方法建议动态大小的束搜索结果子集，但可行保证取决于事后校准测量。第二个算法将符合性集预测过程引入解码过程，产生一个适应当前不确定性的可变束宽度。这两种方法都提供了边际覆盖保证，并在多个任务的选择中进行了实证评估。