Before revision:  We formalize three properties to generate similar and simpler alternatives : across simulations and a user study, our algorithm better enables robots to extrapolate the human's objective.
After revision:  We formalize three properties to generate similar and simpler alternatives . Across simulations and a user study, our algorithm better enables robots to extrapolate the human's objective.