TY  - RPRT
TI  - DPNL: A DPLL-based Algorithm for Probabilistic Neurosymbolic Learning
AU  - Thomas Jean-Michel Valentin
AU  - Pierre Genev{è}s
AU  - Luisa Sophie Werner
AU  - Sarah Chlyah
AU  - Nabil Laya{ï}da
AU  - Nils Gesbert
PY  - 2026
UR  - https://arxiv.org/abs/2610.06270
ID  - 2610.06270
ER  -