AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Object Detection
Right now there's a lot of work that is being done in formal methods. Those methods have proven to be very useful for algorithms of low to medium complexity. But when we're tackling autonomous lending, autonomous taxi function, the sheer number of pixels and image size makes those application barely usable. We basically don't have the right tool to be able to apply at very complex neural network.