Completed
Bridging Informal and Formal Mathematical Reasoning with Neural Language Models
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Bridging Informal and Formal Mathematical Reasoning with Neural Language Models
Automatically move to the next video in the Classroom when playback concludes
