NWDS Talk - Proving Query Equivalence Using Linear Integer Arithmetic
55:03
NWDS Talk - Learned Index Structures for Dynamic and Multi-Dimensional Data
1:05:46
NWDS Talk - CockroachDB's Query Optimizer
54:10
NWDS Talk - Modeling the Data-Generating Process is Necessary for Out-of-Distribution Generalization
1:22:18
Building Production RAG Over Complex Documents
22:59
La paradoja de la cúpula: una laguna en las leyes de Newton
52:02
NWDS Talk - From Text2SQL to Automating BI: The Coming Wave of LLM Analytic Agents
45:20
NWDS Talk - Question Answering via Intermediate Representation on Knowledge Graphs
52:47