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