Toward verified artificial intelligence | Synapse