Before algorithms can be used in critical operations like air traffic control, human users must be able to trust them. Explanations, called certificates, on why an algorithm’s output is correct, could ...