Prof. Laura Nenzi

Argomenti del programma: Information Retrieval The course provides both a high-level overview of information retrieval and an in-depth look at its main techniques and approaches. Topics include indexing and query processing, spelling correction, classical retrieval models, evaluation of IR systems, Web search, latent semantic representations, semantic search, RAG, and an introduction to recommender systems.

• Not yet a proper book for the topic. Part of the course background will be cover by the Principles of Model Checking – C. Baier, J.-P. Katoen.
• Materials prepared for the students in the form of notebooks and slides, paper reference and documentation for the tools will be provided during the course.

Argomenti del programma: The course provides a theoretical and practical introduction to the safety and verification of Artificial Intelligence systems, with a focus on safety-critical applications and formal methods. Topics include: Risks and failures in AI systems, Safety-critical AI domains (e.g., automotive, healthcare, robotics), Formal verification of neural networks, Adversarial robustness and certified defenses, Runtime verification…

Argomenti del programma: Information Retrieval The course provides both a high-level overview of information retrieval and an in-depth look at its main techniques and approaches. Topics include indexing and query processing, spelling correction, classical retrieval models, evaluation of IR systems, Web search, latent semantic representations, semantic search, RAG, and an introduction to recommender systems.