1 paper
Yuan Si, Jialu Zhang
A growing class of tools recovers a program from observations of its behavior using an untrusted generator, a neural model or a search, that proposes candidates with no correctness…