Browsing Bergen Open Research Archive by Author "Blum, Sophie"
Now showing items 1-1 of 1
-
Learning Horn envelopes via queries from language models
Blum, Sophie; Koudijs, Raoul; Ozaki, Ana; Touileb, Samia (Journal article; Peer reviewed, 2024)We present an approach for systematically probing a trained neural network to extract a symbolic abstraction of it, represented as a Boolean formula. We formulate this task within Angluin's exact learning framework, where ...