x
Roman Soletskyi: Verifying Global Properties of Neural Networks — LessWrong