1 paper · 1 filter
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…