PiShield: A PyTorch Package for Learning with Requirements. - Mihaela C. Stoian; Alex Tatomir; Thomas Lukasiewicz; Eleonora Giunchiglia (IJCAI, 2024)

PiShield: A NeSy Framework for Learning with Requirements. - Mihaela Catalina Stoian; Alex Tatomir; Thomas Lukasiewicz; Eleonora Giunchiglia (CoRR, 2024)

CCN+: A neuro-symbolic framework for deep learning with requirements. - Eleonora Giunchiglia; Alex Tatomir; Mihaela Catalina Stoian; Thomas Lukasiewicz (Int. J. Approx. Reason., 2024)