Synthesizing Action Sequences for Modifying Model Decisions.

Goutham Ramakrishnan Yun Chan Lee Aws Albarghouthi

Published in: CoRR (2019)

Keyphrases

learning algorithm
user interface
state space
higher order