131f383b434fdf48079bff1e44e2d9a5-AuthorFeedback.pdf

See Table 1for the average running time per problem instance. Note that the implementation of Z3 and OR-tools22 are in C++, while NeuRewriter and RL baselines are in Python. Still, we can observethat our approach achieves a23 better balance between the time-efficiency and the result quality. For expression simplification and job scheduling,24 NeuRewriter is even more time-efficient than Z3 and OR-tools. The region-pickerπω is parameterized by aQ-function and is similar in spirit to soft-Q learning [2].