research
∙
04/20/2023
Scaling ML Products At Startups: A Practitioner's Guide
How do you scale a machine learning product at a startup? In particular,...
share
research
∙
03/13/2023
Instate: Predicting the State of Residence From Last Name
India has twenty-two official languages. Serving such a diverse language...
research
∙
05/26/2022
QBF Merge Resolution is powerful but unnatural
The Merge Resolution proof system (M-Res) for QBFs, proposed by Beyersdo...
research
∙
12/12/2020
Hard QBFs for Merge Resolution
We prove the first proof size lower bounds for the proof system Merge Re...
research
∙
05/23/2020
MaxSAT Resolution and Subcube Sums
We study the MaxRes rule in the context of certifying unsatisfiability. ...
research
∙
07/30/2018
Pwned: How Often Are Americans' Online Accounts Breached?
News about large online breaches is increasingly common. But there has b...
research
∙
07/10/2018
Street Sense: Learning from Google Street View
How good are the public services and the public infrastructure? Does the...
research
∙
05/05/2018