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.
Overview
Syllabus
[TyDe'23] A Type System For Feature Engineering (Extended Abstract)
Taught by
ACM SIGPLAN
Related Courses
-
Feature Engineering for Machine Learning
-
Feature Engineering for Machine Learning
-
A Type-Theoretic Account of Quantum Computation
-
Data Preprocessing and Feature Engineering for Machine Learning
-
Neo4J GDS - Machine Learning Feature Engineering
-
Step-by-Step Machine Learning Project Implementation: EDA, Feature Engineering, Selection, and Model Training
