Neurosymbolic OCR for Handwritten Tax Forms. - Quinten Dewulf; Robin Manhaeve; Wannes Meert; Luc De Raedt (ECAI, 2025)