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…