4.3k citations · 7.2k across the 45 of their papers we have counts for
1 paper · 2 filters
Jan Leike, Ashish Tiwari
We present a method for the synthesis of polynomial lasso programs. These programs consist of a program stem, a set of transitions, and an exit condition, all in the form of algebr…