Scaling up Continuous-Time Markov Chains Helps Resolve Underspecification - Gotovos, Alkis; Burkholz, Rebekka; Quackenbush, John; Jegelka, Stefanie (Advances in Neural Information Processing Systems, 2021)