2 papers
cs.LO2026
Recursive querying of neural networks via weighted structures
Martin Grohe, Christoph Standke, Juno Steegmans +1
Expressive querying of machine learning models - viewed as a form of intentional data - enables their verification and interpretation using declarative languages, thereby making le…
cs.AI2024
Query languages for neural networks
Martin Grohe, Christoph Standke, Juno Steegmans +1
We lay the foundations for a database-inspired approach to interpreting and understanding neural network models by querying them using declarative languages. Towards this end we st…