Learning Horn Envelopes via Queries from Large Language Models

Open in new window