LOGicalThought: Logic-Based Ontological Grounding of LLMs for High-Assurance Reasoning

Open in new window