3 papers
cs.LG2021
Provably Robust Model-Centric Explanations for Critical Decision-Making
Cecilia G. Morales, Nicholas Gisolfi, Robert Edman +2
We recommend using a model-centric, Boolean Satisfiability (SAT) formalism to obtain useful explanations of trained model behavior, different and complementary to what can be glean…
cs.SE2020
Compositional Formal Analysis Based on Conventional Engineering Models
Tyler D. Smith, Ryan Peroutka, Robert Edman
Applications of formal methods for state space exploration have been successfully applied to evaluate robust critical software systems. Formal methods enable discovery of error con…
math.CO2018
Zonotopes whose cellular strings are all coherent
Rob Edman, Pakawut Jiradilok, Gaku Liu +1
A cellular string of a polytope is a sequence of faces stacked on top of each other in a given direction. The poset of cellular strings, ordered by refinement, is known to be homot…