research
∙
02/23/2022
Simulating Network Paths with Recurrent Buffering Units
Simulating physical network paths (e.g., Internet) is a cornerstone rese...
share
research
∙
02/15/2021
Learning Accurate Decision Trees with Bandit Feedback via Quantized Gradient Descent
Decision trees provide a rich family of highly non-linear but efficient ...
research
∙
07/14/2020
Programming by Rewards
We formalize and study “programming by rewards” (PBR), a new approach fo...
research
∙
11/26/2019
OASIS: ILP-Guided Synthesis of Loop Invariants
Finding appropriate inductive loop invariants for a program is a key cha...
research
∙
09/18/2017
Leveraging Distributional Semantics for Multi-Label Learning
We present a novel and scalable label embedding framework for large-scal...
research
∙
06/07/2016
Regret Bounds for Non-decomposable Metrics with Missing Labels
We consider the problem of recommending relevant labels (items) for a gi...
research
∙
05/07/2015
Optimal Decision-Theoretic Classification Using Non-Decomposable Performance Metrics
We provide a general theoretical analysis of expected out-of-sample util...
research
∙
11/22/2014
