1 citations · 1 across the 5 of their papers we have counts for
1 paper · 2 filters
Atharva Naik, Yash Mathur, Prakam +2
LLMs can solve program synthesis tasks but remain inefficient and unreliable on hard instances requiring large combinatorial search. Given a small set of reasoning traces, we use c…