Seoul National University & Adobe Present: Program Synthesis via Test-Time Transduction A formulation that explicitly leverages test inputs during synthesis, unlike prior approaches that only generalize from training examples. Key idea: treat synthesis as active learning over a

→ View original post on X — @jiqizhixin