Safety and fairness guarantees get built into new artificial intelligence algorithms