VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning Paper • 2501.14540 • Published Jan 24, 2025 • 4
