ARC@ORU: Mini-colloquium
17 oktober 2025 10:00 – 11:30 Visual Lab, ARC
ARC@ORU bjuder på ett mini-colloquium med Steven Schockaert, professor vid Cardiff University, och Scott Sanner, professor vid University of Toronto.
Föreläsare:
10:00–10:45: Steven Schockaert, professor, Cardiff University
10:45–11:30: Scott Sanner, professor, University of Toronto
Innehåll:
Reasoning with Region-Based Embeddings – Schockaert presenterar hur symbolisk kunskap kan kopplas till vektorbaserade representationer, och diskuterar balansen mellan enkelhet och uttryckskraft i neuro-symbolisk AI.
Verifiable, Debuggable, and Repairable Formal Reasoning with Large Language Models – Sanner visar hur LLM:er kan kombineras med verifierbar logik för att minska fel och hallucinationer, och därmed göra AI-resonemang mer tillförlitligt.
Seminariet hålls i samband med Rishi Hazras disputation i datavetenskap.
Värd: Pedro Zuidberg dos Martires, universitetslektor i datavetenskap, Örebro universitet.