Better Lemmas with Lambda Extraction


Date
Sep 29, 2015 10:30 AM — 11:00 AM
Location
Austin, TX, USA
Mathias Preiner
Research Scientist