Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
MGQL: An Executable, Small-Step Semantics of GQL
Aditya Thimmaiah, Tong-Nong Lin, Milos Gligoric
ISO Graph Query Language (GQL) is the first international standard for property graph-based graph query languages, standardized as ISO/IEC 39075 in 2024. However, ISO/IEC 39075 cod…
cs.PL2026
LLMs Lean on Priors, Not Programming Language Semantics
Aditya Thimmaiah, Jiyang Zhang, Jayanth Srinivasa +2
Recent work asks whether large language models (LLMs) condition their reasoning on explicit rules rather than statistical regularities from pretraining. Program execution provides…