Jika kendaraan otonom dapat secara berarti mengurangi cedera di jalan pada tahun 2035, itu sangat besar. Tetapi otonomi penting keselamatan menuntut bukti, bukan janji. Inilah sebabnya mengapa Inference Labs berfokus pada inferensi yang dapat diverifikasi untuk sistem yang beroperasi di dunia nyata.