NWDS Talk - Proving Query Equivalence Using Linear Integer Arithmetic
55:03
NWDS Talk - Learned Index Structures for Dynamic and Multi-Dimensional Data
54:10
NWDS Talk - Modeling the Data-Generating Process is Necessary for Out-of-Distribution Generalization
52:02
NWDS Talk - From Text2SQL to Automating BI: The Coming Wave of LLM Analytic Agents
1:05:46
NWDS Talk - CockroachDB's Query Optimizer
1:07:26
Efficient Learning for Linear Properties of Bounded Gate Quantum Circuits
57:26
NWDS Talk - Towards instance-optimized data systems
1:04:07
NWDS Talk - Dataset Search for Data Discovery, Augmentation, and Explanation
22:59