🔔 Are you working on informed-ML, Neuro-symbolic AI or ML verification?
🙌 Our special track on the Journal of Artificial Intelligence Research (JAIR) about "Integration of Logical Constraints in Deep Learning" is the right venue for you! 🙌
CfP: https://www.jair.org/index.php/jair/SpecialTrack-LogicDL
Deadline: May 31, 2025
🙌 Our special track on the Journal of Artificial Intelligence Research (JAIR) about "Integration of Logical Constraints in Deep Learning" is the right venue for you! 🙌
CfP: https://www.jair.org/index.php/jair/SpecialTrack-LogicDL
Deadline: May 31, 2025
Comments
Alessandro Abate, University of Oxford, U.K.
Eleonora Giunchiglia, Imperial College London, U.K.
Bettina Könighofer, Graz University of Technology, Austria
Luca Pasa, University of Padova, Italy
Matteo Zavatteri, University of Padova, Italy