Signal Perceptron: On the Identifiability of Boolean Function Spaces and Beyond. - Miguel Ángel Méndez Lucero; Rafael-Michael Karampatsis; Enrique Bojorquez Gallardo; Vaishak Belle (Frontiers Artif. Intell., 2022)

Semantic Objective Functions: A Distribution-Aware Method for Adding Logical Constraints in Deep Learning. - Miguel Ángel Méndez Lucero; Enrique Bojorquez Gallardo; Vaishak Belle (ICAART (3), 2025)