Browsing Bergen Open Research Archive by Author "Koudijs, Raoul"

Now showing items 1-2 of 2

    • Characterising Modal Formulas with Examples 

      Ten Cate, Balder; Koudijs, Raoul (Journal article; Peer reviewed, 2024)
      We study the existence of finite characterisations for modal formulas. A finite characterisation of a modal formula φ is a finite collection of positive and negative examples that distinguishes φ from every other, ...

    • 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 ...