Eric Boxer

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

2025 · arXiv (Cornell University)

High-assurance reasoning, particularly in critical domains such as law and medicine, requires conclusions that are accurate, verifiable, and explicitly grounded in evidence. This reasoning relies on premises codified from rules, statutes, and contracts, inherently involving …