Questions and answers on AI and verification: follow-up to May ACM Tech Talk
Read the original at bertrandmeyer.com→Original headline: "Questions and answers on AI and verification: follow-up to my May ACM Tech Talk"
Coverage timeline
- Jul 28, 15:09 UTC Hacker News (AI) lead source Questions and answers on AI and verification: follow-up to my May ACM Tech Talk