Learning with guarantees. Neurosymbolic AI and formal verification

The workshop, organized by UniMi Research Center in Human-Centered Artificial Intelligence, explores current themes at the intersection of neurosymbolic AI, logical reasoning, and formal verification, with a focus on integrating learning-based methods with formal guarantees.