Learning Compact Boolean Networks. - Shengpu Wang; Yuhao Mao; Yani Zhang; Martin T. Vechev (CoRR, 2026)