STCS Seminar
Asymptotically Optimal Threshold Policies for Appointment Scheduling and Stochastic Knapsacks.
Finite-Time Analysis of Q-Learning with Linear Function Approximation
Automated Reasoning for Replicated Systems
Towards Verifying AI Systems: Testing of Samplers
New Algorithmic Guarantees for Searching in Large Datasets
Independence Results in Propositional Proof Complexity
k-means clustering, stability and outliers
Two unsolved problems: Birkhoff-von Neumann graphs and PM-compact graphs
Good Visualizations Have Short Sketches: Interactively Visualizing Large Datasets
Pages
