1 citations · 2 across the 6 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LG2023★ 1 cited
Learning Horn Envelopes via Queries from Large Language Models
Sophie Blum, Raoul Koudijs, Ana Ozaki +1
We investigate an approach for extracting knowledge from trained neural networks based on Angluin's exact learning model with membership and equivalence queries to an oracle. In th…
cs.LO2023
Characterising Modal Formulas with Examples
Balder ten Cate, Raoul Koudijs
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 tha…