May 2, 2025

Yuantian’s paper on syntax guided synthesis has been accepted to PLDI. Congrats Yuantian!