Showing cs.LGShow all
2 papers · 1 filter
cs.LG2026
Perturb and Correct: Post-Hoc Ensembles using Affine Redundancy
Eleanor Quint
Models that are indistinguishable on in-distribution data can behave very differently under distribution shift. We introduce Perturb-and-Correct (P&C), a post-hoc method for constr…
cs.LG2019
Formal Language Constraints for Markov Decision Processes
Eleanor Quint, Dong Xu, Samuel Flint +2
In order to satisfy safety conditions, an agent may be constrained from acting freely. A safe controller can be designed a priori if an environment is well understood, but not when…