Login / Signup
Tarun Prasad
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 4
Top Topics
Decision Diagrams
Hypertree Decomposition
Constraint Satisfaction
Boolean Logic
Top Venues
CoRR
APPROX/RANDOM
Electron. Colloquium Comput. Complex.
</>
Publications
</>
David Brandfonbrener
,
Sibi Raja
,
Tarun Prasad
,
Chloe Loughridge
,
Jianang Yang
,
Simon Henniger
,
William E. Byrd
,
Robert Zinkov
,
Nada Amin
Verified Multi-Step Synthesis using Large Language Models and Monte Carlo Tree Search.
CoRR
(2024)
Joanna Boyland
,
Michael Hwang
,
Tarun Prasad
,
Noah Singer
,
Santhoshini Velusamy
On Sketching Approximations for Symmetric Boolean CSPs.
APPROX/RANDOM
(2022)
Joanna Boyland
,
Michael Hwang
,
Tarun Prasad
,
Noah Singer
,
Santhoshini Velusamy
On sketching approximations for symmetric Boolean CSPs.
Electron. Colloquium Comput. Complex.
(2022)
Joanna Boyland
,
Michael Hwang
,
Tarun Prasad
,
Noah Singer
,
Santhoshini Velusamy
Closed-form expressions for the sketching approximability of (some) symmetric Boolean CSPs.
CoRR
(2021)