Max von Hippel

Boston Computation Club

Únete a un grupo que explora la ciencia de la computación matemática y las matemáticas computacionales. Participa en presentaciones y discusiones cada dos fines de semana, algunas en línea.

Listen on Apple Podcasts

06/13/25: Gradual Verification with Jenna DiVincenzo

59 mins • Jun 14, 2025

Episodios recientes

Jun 14, 2025

06/13/25: Gradual Verification with Jenna DiVincenzo

59 mins

May 8, 2025

05/07/25: Exploring Zero-Shot Prompting for Generating Data Format Descriptions, Prashant Anantharaman

40 mins

Apr 19, 2025

04/18/25: Descriptive Complexity with Ramit Das

60 mins

Apr 5, 2025

03/21/24: How and Why to extend First Order Logic for Knowledge-Based Systems with Marc Denecker

53 mins

Apr 5, 2025

04/04/25: Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars with Daniel Melcer

59 mins

Idioma
Inglés
País
Estados Unidos
Feed Host
Solicitar una actualización
Las actualizaciones pueden tardar unos minutos.