AI & Law: Legal Insights On The Formal Verification Of AI Systems

Lance Eliot
9 min readJan 24
Here’s how legal enters into the formal verification of AI

by Dr. Lance B. Eliot

For a free podcast of this article, visit this link 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

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

Section 1: Introduction

In your lawyering capacity, imagine that you have taken on a new client that has gotten into some hot water due to their AI system.

The client is a firm that has crafted an AI system that provides a tremendous capability and the company has quickly gained market share in their industry via leveraging this outsized state-of-the-art innovation which is based on Machine Learning (ML) and Deep Learning (DL). The ML/DL entails computational pattern matching, a facility that has been the underpinning for many of today’s best-known AI apps, including the widely heralded Alexa and Siri conversationally interactive systems.

Competitors are being left behind in the dust. The firm has gotten blazing headlines for its clever use of AI, especially since its system embodies algorithmic decision making (ADM). The software is used to render real-time decisions, having replaced the traditional use of human labor…

Lance Eliot

Dr. Lance B. Eliot is a renowned global expert on AI, successful startup founder, global CIO/CTO, , was a top exec at a major Venture Capital (VC) firm.