I’ve made huge advances in formal verification with AI feel free to email if this is your field