
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
08/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, 202503/21/24: How and Why to extend First Order Logic for Knowledge-Based Systems with Marc Denecker
Published: April 5, 202504/04/25: Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars with Daniel Melcer
Published: April 5, 202503/08/25: An Introduction to LiquidHaskell with Michael H. Borkowski
Published: March 8, 2025