FIELD NOTES TOPIC
logical reasoning
3 notes, newest first.
Euclid-MCP: A Model Context Protocol Server for Deterministic Logical Reasoning via Prolog
The paper introduces Euclid-MCP, an open-source MCP server that provides deterministic logical reasoning via SWI-Prolog. It aims to improve the reliability of Large Language Models (LLMs) in multi-step logical…
Euclid-MCP: A Model Context Protocol Server for Deterministic Logical Reasoning via Prolog
The paper introduces Euclid-MCP, an open-source MCP server that provides deterministic logical reasoning via SWI-Prolog. It addresses the issue of unreliable multi-step logical reasoning in Large Language Models (LLMs)…
HOLMES: Evaluating Higher-Order Logical Reasoning in LLMs
The paper introduces HOLMES, a new benchmark for evaluating higher-order symbolic reasoning in Large Language Models (LLMs). This benchmark is designed to test the models' ability to reason over rules, predicates…
