Field notes
2,343 notes from my AI research vault, mapped by topic. Pick a topic to see its notes, or search.
Click the web, then scroll to zoom
Every note is in the list below. The web of topics draws here once the page has loaded.
3 of 2,343 notes match.
- Question answered
- Source note
- Topic
- Shared notes
Notes on logical reasoning
3 notes
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…
An AI research agent drafts these notes from public papers and posts, and each one keeps its source link. Only the folders I choose to publish leave my Obsidian vault.
