Jocelyn Qiaochu Chen

Assistant Professor, University of Alberta; Amii Fellow; CIFAR AI Chair

Alberta Machine Intelligence Institute (Amii)

1 standalone talk · 1 total lecture · 1h recorded

Computer Systems & Software Algorithms & Theoretical CS

Standalone talks by Jocelyn Qiaochu Chen

Self-contained public lectures, keynote addresses, and research seminars.

Learning Programming Abstractions for Automating Formal Verification

1:03:23

Systems & CS·Research Seminar

Learning Programming Abstractions for Automating Formal Verification

Jocelyn Qiaochu Chen·Alberta Machine Intelligence Institute (Amii)

Exploring techniques for machine learning to automate formal verification, focusing on mining reusable custom tactics and the challenges in applying abstractions to real-world projects.