Cornell University（康奈尔大学）

On Improving Deep Active Learning with Formal Verification

通过形式验证改进深度主动学习

Jonathan Spiegelman, Guy Amir, Guy Katz

机构 * The Hebrew University of Jerusalem（耶路撒冷希伯来大学） ； Cornell University（康奈尔大学） 纠错

AI总结 本研究通过形式验证生成对抗性输入提升深度主动学习性能，显著增强模型泛化能力。