Are there any interesting papers on formal verification of some of the most modern machine learning algorithms? Clearly when we "verify" Waymo or Tesla auto-pi

Are there any interesting papers on formal verification of some of the most modern machine learning algorithms? Clearly when we "verify" Waymo or Tesla auto-pilot, we're going to want to use that stuff, right? Surely they won't just provide insurers with some data about the billions of miles they've driven without accidents and how humans can only drive like a million miles without an accident and try to get the insurers to give them policies... Just like when we hand out licenses, we always check to make sure the 16 year old took some formal driving classes from professional driving instructors... I wish things were better but we don't care about this stuff as a society until much later usually. When did the car first appear? When did the first seatbelt law appear?