PhD student, Seoul National University
1 paper at NeurIPS 2025
We introduce transductive program synthesis: synthesizing programs using test inputs.