David Engstrom | AI and Access to Justice
HAI Seminar with David Engstrom
Get the latest news, advances in research, policy work, and education program updates from HAI in your inbox weekly.
Sign Up For Latest News
HAI Seminar with David Engstrom
A eureka moment is a two-step process: discovering something new and surprising, and establishing that it is correct. Drawing on her work at Axiom, Carina will discuss the transition from solving mathematical benchmarks to contributing to research, and from proving individual theorems to formalizing mathematical theories in Lean.

A eureka moment is a two-step process: discovering something new and surprising, and establishing that it is correct. Drawing on her work at Axiom, Carina will discuss the transition from solving mathematical benchmarks to contributing to research, and from proving individual theorems to formalizing mathematical theories in Lean.
A Center for Neural Data Science Seminar Series

A Center for Neural Data Science Seminar Series
Abstract:
Two powerful forces are bearing down on the American legal system: mounting concern about access to justice, including the bracing fact that a majority of litigants in American courts are self-represented, and stunning advances in AI, which have brought even higher-order legal cognitions within automation’s sights. This talk will review the institutional, technical, and legal barriers to effective and trustworthy AI-based tools that can help close the justice gap, whether in a fast-growing “legal tech” marketplace or in courts themselves. On the latter, the seminar will report on a first-of-its-kind collaboration between Stanford Law School and the Los Angeles Superior Court, the nation’s largest trial court, that is rethinking the court’s digital pathways for serving court users in evictions, debt collections, and family matters.
