Constrained Training of Neural Networks via Theorem Proving. - Mark Chevallier; Matthew Whyte; Jacques D. Fleuriot (OVERLAY@AI*IA, 2022)

Neurosymbolic AI for Reasoning on Graph Structures: A Survey. - Lauren Nicole Delong; Ramon Fernández Mir; Matthew Whyte; Zonglin Ji; Jacques D. Fleuriot (CoRR, 2023)