Probing for Long-Horizon Deductive Reasoning Capabilities in Language Models with Prolog

arXiv:2610.11592 · cs.CL · Submitted 2026-10-08 · Read on arXiv

cs.CL

Submitted: 2026-10-08

Updated: 2026-10-08

Code: https://github.com/halnegheimish/ProloNg

Terminology

• Trace — 20× in this paper · explained in 2 episodes
• Accuracy — 13× in this paper · explained in 1 episode
• Benchmark — 11× in this paper · explained in 2 episodes
• Reasoning Traces — 5× in this paper · explained in 3 episodes
• Adam — 3× in this paper · explained in 2 episodes
• In International Conference on Learning Representations — 1× in this paper
• Reinforcement Learning — 1× in this paper · explained in 4 episodes
• Transformer — 1× in this paper · explained in 2 episodes

Sources

• OpenAI o1 System Card
• Qwen3 Technical Report

Related papers

• Exploring Solution Divergence and Its Effect on Large Language Model Problem Solving
• Ishigaki-IDS-Bench: A Benchmark for Generating Information Delivery Specification from BIM Information Requirements
• Subliminal Steering: Stronger Encoding of Hidden Signals
• MedStruct-S: A Benchmark for Key Discovery, Key-Conditioned QA and Semi-Structured Extraction from OCR Clinical Reports
• The End of Transformers? On Challenging Attention and the Rise of Sub-Quadratic Architectures
• Untangling the Mechanisms of Misleading Context in Medical Question Answering