该文介绍了两种新的扩展算法，可以生成带有理论覆盖保证的序列集合。两种方法都提供了边际覆盖保证，并在自然语言处理和化学方面的多个任务中进行了实证评估。

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