AVIATE Seminar “Certifiably Robust Learning via Knowledge-Enabled Logical Reasoning”