中文

PiShield:一个用于带约束学习的 PyTorch 包

机器学习 2024-05-15 v2 人工智能 计算机科学中的逻辑

摘要

深度学习模型已在各种应用领域展现出其优势,然而,它们往往难以满足输出的安全要求。在本文中,我们介绍了 PiShield,这是首个允许将要求整合到神经网络拓扑结构中的软件包。PiShield 保证无论输入如何都能符合这些要求。此外,它允许根据从业者的需求,在推理和/或训练阶段整合要求。鉴于深度学习的广泛应用,跨领域整合要求的框架需求日益增长。在此,我们探讨了三种应用场景:功能基因组学、自动驾驶和表格数据生成。

关键词

引用

@article{arxiv.2402.18285,
  title  = {PiShield: A PyTorch Package for Learning with Requirements},
  author = {Mihaela Cătălina Stoian and Alex Tatomir and Thomas Lukasiewicz and Eleonora Giunchiglia},
  journal= {arXiv preprint arXiv:2402.18285},
  year   = {2024}
}

备注

Demo paper, accepted at IJCAI 2024