On Scaling Neurosymbolic Programming through Guided Logical Inference. - Thomas Jean-Michel Valentin; Luisa Sophie Werner; Pierre Genevès; Nabil Layaïda (CoRR, 2025)