Chengpeng Wang - When Static Analysis Meets Large Language Models
1:01:09
Matej Panciak - An Introduction to Lurk
54:34
Ian Bicking - Hacking an LLM Using the Z3 Theorem Prover
59:48
[1hr Talk] Intro to Large Language Models
53:09
Compressing a JSON Parser Beyond Comprehension - June Marcuse
57:08
Shaken, not Stirred -- Automated Discovery of Subtle Attacks on Protocols using Mix-Nets - Dhekra M.
1:01:01
Yale NLP/LLM Interest Group - Session 21 Karin Verspoor
57:43
Radically Better Academic Search With Undermind with Joshua Ramette
1:16:04