TY - RPRT TI - Understanding Boolean Function Learnability on Deep Neural Networks: PAC Learning Meets Neurosymbolic Models AU - Marcio Nicolau AU - Anderson R. Tavares AU - Zhiwei Zhang AU - Pedro Avelar AU - João M. Flach AU - Luis C. Lamb AU - Moshe Y. Vardi PY - 2025 UR - https://arxiv.org/abs/2009.05908 ID - 2009.05908 ER -