TY - RPRT TI - Learning Horn Envelopes via Queries from Large Language Models AU - Sophie Blum AU - Raoul Koudijs AU - Ana Ozaki AU - Samia Touileb PY - 2023 UR - https://arxiv.org/abs/2305.12143 ID - 2305.12143 ER -