AI & Law: Legal Insights On The Formal Verification Of AI Systems
by Dr. Lance B. Eliot
For a free podcast of this article, visit this link https://ai-law.libsyn.com/website or find our AI & Law podcast series on Spotify, iTunes, iHeartRadio, plus on other audio services. For the latest trends about AI & Law, visit our website www.ai-law.legal
Abstract: There is an abundance of AI systems being built and fielded, often doing so in a pell-mell rush to get into the marketplace soonest possible. Many of these AI systems are skirting around the verification and validation (V&V) that ought to be taking place. Lawyers are going to be sought to help clients that have gotten into hot water over unsavory AI. AI-savvy lawyers should be generally familiar with the underpinnings of formal verification of computing systems.
Key briefing points about this article:
- AI is increasingly being used throughout societal applications
- Much of the AI is being pell-mell rushed into being fielded
- A lack of dutiful verification and validation (V&V) is widespread
- Lawyers are going to be brought in and asked to deal with unsavory AI
- We provide herein a brief overview of formal verification in the computing realm
