FIELD NOTES TOPIC
neuro-symbolic
2 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…
Knowledge- and Gradient-Guided Reinforcement Learning for Parametrized Action Markov Decision Processes
In this research paper, the authors present a novel reinforcement learning algorithm called Knowledge- and Gradient-Guided Reinforcement Learning (KGRL). This algorithm is designed to work in Parametrized Action Markov…
