Project R-16412

Ontwerp, analyse, en implementatie van querytalen voor machine-learning modellen. (Onderzoek)

Eerder onderzoek aan UHasselt toond al aan dat SQL gebruikt kan worden om neurale netwerken te bevragen - tenminste, in theorie. In dit werk tonen we aan dat dit ook in de praktijk mogelijk is door toepassingen te implementeren in verschillende gebieden, waaronder pruning, interpretability, en formele verificatie.

16 januari 2026 - 15 januari 2030