2 papers
cs.PL2022
A Discipline of Programming with Quantities
Steve McKeever
In scientific and engineering applications, physical quantities embodied as units of measurement (UoM) are frequently used. The loss of the Mars climate orbiter, attributed to a co…
cs.AI2019
"Why did you do that?": Explaining black box models with Inductive Synthesis
Görkem Paçacı, David Johnson, Steve McKeever +1
By their nature, the composition of black box models is opaque. This makes the ability to generate explanations for the response to stimuli challenging. The importance of explainin…