About this episode

Dr. Eliot explains the formal verification of AI legal reasoning.

Dr. Eliot explains the formal verification of AI legal reasoning (AILR). See his Forbes column for further info: https://www.forbes.com/sites/lanceeliot/

People in this episode

Host: Dr. Lance Eliot

Topics covered

• AI legal reasoning
• formal verification
• law and technology
• AI ethics
• legal technology

Keywords

• AI
• law
• formal verification
• legal reasoning
• technology

Mentioned in this episode

Organizations: Forbes

More episodes of AI & Law: Podcast Series Hosted by Dr. Lance Eliot

• AI & Law: Multi-Agentic AI Lawyering Is Next · July 3, 2026 · 7 min
• AI & Law: Law As Code · June 3, 2026 · 7 min
• AI & Law: Using AI To Stockpile Legal Arguments · May 2, 2026 · 8 min
• AI & Law: AI As Robo-Judges That Explain Themselves · March 1, 2026 · 4 min
• AI & Law: Impacts of Data Poisioning · February 1, 2026 · 5 min
• AI & Law: Recursion In AI And Law · January 3, 2026 · 4 min

Explore listener stats, chart rankings, contacts and more on the AI & Law: Podcast Series Hosted by Dr. Lance Eliot podcast page.