Boston Computation Club

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


Listen Later

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!

...more
View all episodesView all episodes
Download on the App Store

Boston Computation ClubBy Max von Hippel


More shows like Boston Computation Club

View all
ABC News Daily by ABC

ABC News Daily

127 Listeners