AI & ML interests

Formally validated ML methods.

Organization Card

At roboGaze we make safe AI to make safer roads.

As machine learning solutions fuse more and more with the automotive industry, it is crucial to make them trustworthy and interpretable. We are at the forefront of formal verification of ML methods and utilizing them to make sure that each journey remain safe for all passengers.

models 0

None public yet

datasets 0

None public yet