Loved your blog post! We had an intern this summer working on his PhD that included experimenting with AI to write formal verification. You might be already in touch with people that are working on this sort of thing, but let me know if you’d like his LinkedIn so you can push him to write on this :)
