Project R-16412

Title

Models are data too: design, analysis and implementation of model-query languages. (Research)

Abstract

Earlier research at UHasselt showed that, in theory, SQL can be used to query neural networks. This thesis shows that this is indeed possible in practice by implementing use-cases across different domains, including pruning, interpretability, and formal verification.

Period of project

16 January 2026 - 15 January 2030