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…