DPNL: A DPLL-based Algorithm for Probabilistic Neurosymbolic Learning.

arXiv:2610.06270v1 Announce Type: new Abstract: Probabilistic Neurosymbolic Learning (PNL) combines neural predictions with symbolic reasoning, enabling end-to-end learning from final-output supervision without labels for intermediate concepts. A central chall