Machine Learning and Formal Methods
10 juni 2026 12:00 till 17:00 | Seminarium The adoption of Artificial Intelligence (AI) and Machine Learning (ML) presents several challenges, among which the lack of trust in the decisions made by such systems remains a major concern. Formal methods have historically provided the foundation for rigorously verifying software systems, and they could play a key role in fostering trust in AI/ML techn
https://www.lu.se/evenemang/machine-learning-and-formal-methods - 2026-05-30
