TY  - RPRT
TI  - Honey, I shrunk the hypothesis space (through logical preprocessing)
AU  - Andrew Cropper
AU  - Filipe Gouveia
AU  - David M. Cerna
PY  - 2026
DO  - 10.1613/jair.1.21708
UR  - https://arxiv.org/abs/2506.06739
ID  - 2506.06739
ER  -