Dacă vehiculele autonome pot reduce semnificativ rănile rutiere până în 2035, asta este enorm. Dar autonomia esențială pentru siguranță cere dovezi, nu promisiuni. De aceea, Inference Labs se concentrează pe inferența verificabilă pentru sistemele care operează în lumea reală.