@misc{indiciae7b17c17a642c,
  title = {On Scaling Neurosymbolic Programming through Guided Logical Inference},
  author = {Thomas Jean-Michel Valentin and Luisa Sophie Werner and Pierre Genevès and Nabil Layaïda},
  year = {2025},
  url = {https://arxiv.org/abs/2501.18202},
  note = {Source identifier: 2501.18202}
}