There is tons of work on this question. Super recent: https://link.springer.com/...

		newAccount2025 3 days ago \| parent \| context \| favorite \| on: AI will make formal verification go mainstream There is tons of work on this question. Super recent: https://link.springer.com/article/10.1007/s10817-025-09743-8