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
2/17/26: Approximately Aligned Decoding with Daniel Melcer
Published: February 18, 202602/06/26: Early experiments in FMxAI at Galois with Max von Hippel
Published: February 7, 2026VeriExploit: 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, 2025