{"type": "article", "title": "Questions and answers on AI and verification: follow-up to my May ACM Tech Talk", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/questions-and-answers-on-ai-and-verification-follow-up-to-my-may-acm-tech-talk", "original_source": "https://bertrandmeyer.com/2026/07/21/questions-and-answers-on-ai-and-verification-a-follow-up-to-my-may-acm-tech-talk/", "published": "2026-07-28T15:09:26+00:00", "accessed": "2026-07-28", "id": "questions-and-answers-on-ai-and-verification-follow-up-to-my-may-acm-tech-talk"}