Questions and answers on AI and verification: follow-up to my May ACM Tech TalkQuestions and answers on AI and verification: follow-up to my May ACM Tech Talkbertrandmeyer.com4 pointsby rbanffy0 commentsShareCopy link