Blar i Bergen Open Research Archive på forfatter "Koudijs, Raoul"
-
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 ...