Introduces a trustworthiness-and-complexity switching metric that lets LLMs choose between language and grid modalities for spatial reasoning, yielding up to 42% gains in tested settings.
The birth of Prolog
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
verdicts
UNVERDICTED 3representative citing papers
Online schema alignment during LTQP execution recovers complete query results with low overhead in a decentralized social media demonstration using a Comunica-based engine.
eFLINT is a normative specification language combining declarative and procedural elements to support automated compliance reasoning before, during, and after software execution.
citing papers explorer
-
Spatial Reasoning via Modality Switching Between Language and Symbolic Representation
Introduces a trustworthiness-and-complexity switching metric that lets LLMs choose between language and grid modalities for spatial reasoning, yielding up to 42% gains in tested settings.
-
Demonstrating Online Schema Alignment in Decentralized Knowledge Graphs Querying
Online schema alignment during LTQP execution recovers complete query results with low overhead in a decentralized social media demonstration using a Comunica-based engine.
-
Reflections on the design, applications and implementations of the normative specification language eFLINT
eFLINT is a normative specification language combining declarative and procedural elements to support automated compliance reasoning before, during, and after software execution.