On May 7 I gave a well-attended seminar on “Software Verification in the Age of Artificial Intelligence” (see the announcement here and the recording there).
There was not enough time for all the questions that came up at the end.
This post will serve to continue the discussion, for anyone interested. Feel free to use the Comments section.
