April 4, 2023
Congrats to Yongwei and Roopsha on their paper Trace-Guided Inductive Synthesis of Recursive Functional Programs which was recognized as a distinguished paper at PLDI 2023!
PLDI paper
April 4, 2023
April 4, 2023
April 4, 2023
Congrats to Yongwei and Roopsha on their paper Trace-Guided Inductive Synthesis of Recursive Functional Programs which was recognized as a distinguished paper at PLDI 2023!