Workshop “Learning with Guarantees – Neurosymbolic AI and Formal Verification” | Giuseppe Primiero

The new frontier of AI research is about systems that learn from data and still provide formal guarantees about their behaviour. Neurosymbolic AI aims to bridge statistical learning and symbolic reasoning — combining the flexibility of neural networks with the structure, interpretability, and rigor of logic. As AI systems become more embedded in high-stakes contexts, integrating formal verification into learning architectures is essential. In Milan I am organizing a small workshop on recent research by our group and guests in this direction: Learning with Guarantees: Neurosymbolic AI and Formal Verification 13 April 2026, 09:30-13:30 Sala Martinetti, Via Festa del Perdono 7, Milan The workshop brings together researchers exploring how hybrid AI systems can move beyond accuracy toward reliability, transparency, and provable guarantees. The programme includes talks on: - Bridging symbolic and neural approaches by Vaishak Belle - Graph representations for neuro-symbolic learning by Agnese Chiatti - Logical frameworks for unfair data bias by Chiara Manganini - Formal semantics for bias mitigation in generative AI by Alessandro G. Buda Full details and programme: https://lnkd.in/dthMf64H Participation is free, but registration is required. To attend, please write to: [email protected] #NeurosymbolicAI #FormalVerification #ArtificialIntelligence #MachineLearning #Logic #AIResearch