Synthesis for Polynomial Lasso Programs.

Jan Leike, Ashish Tiwari

Browse the full VMCAI paper archive.