YoVDO

A Type System for Feature Engineering in Machine Learning

Offered By: ACM SIGPLAN via YouTube

Tags

Feature Engineering Courses Machine Learning Courses SQL Courses Compilers Courses Type System Courses Data Preprocessing Courses Dependent Types Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a 22-minute conference talk from ACM SIGPLAN's TyDe'23 that delves into the application of Martin-Löf's type theory in feature engineering. Learn how Weixi Ma, Serena Chan, and Fei Yu demonstrate the dependent type system of F3 (Facebook Feature Framework) and its practical applications in daily feature engineering. Gain insights into how a compiler for feature engineering can benefit from type theory implementation techniques, and understand the process of formalizing domain knowledge into data operations for converting raw data into proper machine learning model inputs.

Syllabus

[TyDe'23] A Type System For Feature Engineering (Extended Abstract)


Taught by

ACM SIGPLAN

Related Courses

Introduction to programming with dependent types in Scala
Stepik A Little Taste of Dependent Types
Strange Loop Conference via YouTube A Taste of Type Theory
GOTO Conferences via YouTube A Type-Theoretic Framework for Certified Meta-programming
Hausdorff Center for Mathematics via YouTube Bulletproof Python - Writing Fewer Tests with a Typed Code Base
EuroPython Conference via YouTube