Boston Computation Club
A Mathematics podcast by Max von Hippel
0.0 • 0 ratings
Want connect with Max von Hippel and email directly about potential partnerships?
Recent Episodes
VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal Methods, Chenfeng Wei
Published: January 17, 2026Breaking the Sorting Barrier for Directed Single-Source Shortest Paths - Xiao Mao
Published: January 5, 2026Infecting Generative AI with Viruses - David A. Noever and Forrest McKee
Published: September 15, 202508/15/25: An LLM Agent for Functional Bug Detection in Network Protocols with Mingwei Zheng
Published: August 15, 202508/01/25: Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification with Kaiyu Yang
Published: August 2, 202507/25/25: RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types with Michael Sammler
Published: July 25, 202506/20/25: TypeScript Types Can Run DOOM with Dimitri Mitropoulos
Published: June 22, 202506/13/25: Gradual Verification with Jenna DiVincenzo
Published: June 14, 202505/07/25: Exploring Zero-Shot Prompting for Generating Data Format Descriptions, Prashant Anantharaman
Published: May 8, 202504/18/25: Descriptive Complexity with Ramit Das
Published: April 19, 2025