25 citations · 25 across the 3 of their papers we have counts for
3 papers
cs.CL2026
Beam Search, Self-Consistency, and the Limits of Inference-Time Scaling for Grammar-Constrained Text-to-SQL in Small Language Models
Ty Chermsirivatana, John MacCormick
One common trade-off in the use of large language models involves reducing the size of the model while increasing the amount of computation at inference time, for example by using…
cs.PL2023
Functional Programming and Streams
John MacCormick
This document is intended as a stand-alone textbook chapter to be used for introducing some functional programming concepts into a course in which the primary teaching language is…
cs.AI2012★ 25 cited
CT-NOR: Representing and Reasoning About Events in Continuous Time
Aleksandr Simma, Moises Goldszmidt, John MacCormick +4
We present a generative model for representing and reasoning about the relationships among events in continuous time. We apply the model to the domain of networked and distributed…