@misc{indiciae7ef966ea82c9,
  title = {VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning},
  author = {Benjamin Callewaert and Simon Vandevelde and Joost Vennekens},
  year = {2026},
  doi = {10.4204/eptcs.439.5},
  url = {https://arxiv.org/abs/2501.14540},
  note = {Source identifier: 2501.14540}
}