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

https://is1-ssl.mzstatic.com/image/thumb/Podcasts115/v4/cf/9a/67/cf9a6714-ef27-5b8d-00cc-9a763f8514e4/mza_9730727821826935918.jpg/600x600bb.jpg

Boston Computation Club

Max von Hippel

78 episodes

16 hours ago

The Boston Computation Club is a small seminar group focused on mathematical computer science, and computational mathematics. Its name is plagiarized from the London Computation Club. Boston Computation Club meetings occur roughly every other week, on weekends, around 5pm EDT (modulo speaker availability). The usual format is a 20m presentation followed by 40m of discussion. Some, but not all, meetings are posted on YouTube and in podcast form.

Mathematics

Science

RSS

All content for Boston Computation Club is the property of Max von Hippel and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.

Mathematics

Science

https://d3t3ozftmdmh3i.cloudfront.net/production/podcast_uploaded_nologo/15826563/15826563-1623263635731-99a8ec66007e4.jpg

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

Boston Computation Club

54 minutes 33 seconds

1 year ago

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

Ian Bicking is an engineer at Brilliant, which is also what he is. (Sorry, dad joke). Ian joined us today to talk about his super charming (and extremely interesting) weekend of experiments hacking various LLMs to solve puzzles using z3. The presentation was roughly the first 2/3 of the event and the remaining third presented a fantastic conversation about the future of AI, tool use, chain and tree of thought, o1, and more. Thanks again for joining us Ian!