1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2024
VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
David Brandfonbrener, Simon Henniger, Sibi Raja +8
Large Language Models (LLMs) can generate useful code, but often the code they generate cannot be trusted to be sound. In this paper, we present VerMCTS, an approach to begin to re…
cs.DS2021★ 1 cited
On sketching approximations for symmetric Boolean CSPs
Joanna Boyland, Michael Hwang, Tarun Prasad +2
A Boolean maximum constraint satisfaction problem, Max-CSP(), is specified by a predicate . An -variable instance of Max-CSP() consists of a list o…