VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning

Open in new window