> I wonder how formal methods can help us move faster with GenAI.

Perhaps better the other way around? How GenAI can help us move faster with formal methods.

Rather than improve the quality of new software, there's a mountain of existing codebases that could benefit from this.