Extracting a Formal Semantics with AI Agents

When we talk about formal verification of programs, one of the first questions is: does the programming language we are verifying have a formal semantics? If the language behaviour is specified only by an implementation or by prose written for humans, then formal reasoning about programs in that language is impossible without first formalising the language itself. Many programming languages eithe…