09/28/24: Hacking an LLM Using the Z3 Theorem Prover with Ian Bicking

Information

Show

Boston Computation Club

Published

September 28, 2024

Type

audio

Language

EN

Author

Max von Hippel

Categories

sciencemathematics