arXiv cs.CL
· Papers
Euclid-MCP: A Model Context Protocol Server for Deterministic Logical Reasoning via Prolog
arXiv:2607.21412v1 Announce Type: cross Abstract: Large Language Models (LLMs) excel at natural language understanding and generation but remain unreliable for multi-step logical reasoning, especially in safety-critical or compliance-sensitive domains. Recent neuro-symbolic approaches address this gap by coupling neura