Nếu các phương tiện tự hành có thể giảm thiểu đáng kể tai nạn giao thông vào năm 2035, thì đó là điều lớn lao. Nhưng sự tự động hóa quan trọng cho an toàn đòi hỏi bằng chứng, không phải lời hứa. Đó là lý do tại sao Inference Labs tập trung vào việc suy diễn có thể xác minh cho các hệ thống hoạt động trong thế giới thực.