Closed-form expressions for the sketching approximability of (some) symmetric Boolean CSPs. - Joanna Boyland; Michael Hwang; Tarun Prasad; Noah Singer; Santhoshini Velusamy (CoRR, 2021)

On sketching approximations for symmetric Boolean CSPs. - Joanna Boyland; Michael Hwang; Tarun Prasad; Noah Singer; Santhoshini Velusamy (Electron. Colloquium Comput. Complex., 2022)

Verified Multi-Step Synthesis using Large Language Models and Monte Carlo Tree Search. - David Brandfonbrener; Sibi Raja; Tarun Prasad; Chloe Loughridge; Jianang Yang; Simon Henniger; William E. Byrd; Robert Zinkov; Nada Amin (CoRR, 2024)