RESEARCHMonitorWATCHLIST
Probing for Long-Horizon Deductive Reasoning Capabilities in Language Models with Prolog
arXiv cs.CL — Computation and Language
Factual evidence
What the source reports
Researchers introduced ProloNg, a benchmark testing frontier LLMs on complex long-context deductive reasoning using Prolog.
Inspect the evidence
- Inclusion basis
- Enterprise AI
- Publisher and source type
- arXiv cs.CL — Computation and Language · RESEARCH
- Published by source
- 9 October 2026
- Collected by OneBench
- 10 Oct 2026, 03:01 UK
Stored source excerpt
arXiv:2610.11592v1 Announce Type: new Abstract: Current frontier LLMs can theoretically process long contexts with 1M tokens or more. But to what extent can they go…
Short excerpt from the collected text, not the full source. Use the source link to read it in context.
The factual summary is a OneBench synthesis, not a quotation or independent verification. Collection time is not publication time. Open the source for its full context; related reporting can share the same underlying announcement.