Seminar

From Probabilistic Testing to Certifiable AI:Large Language Models and Neuro-Symbolic Reasoning for Verifiable Autonomous Systems


Date: 15 May 2025 (Thursday)
Time: 2:00 pm – 3:00 pm
Venue: Rm 401, William M.W. Mong Engineering Building, CUHK