research
∙
03/15/2023
Weakly Supervised Monocular 3D Object Detection using Multi-View Projection and Direction Consistency
Monocular 3D object detection has become a mainstream approach in automa...
share
research
∙
11/03/2022
A Convergence Theory for Federated Average: Beyond Smoothness
Federated learning enables a large amount of edge computing devices to l...
research
∙
08/05/2022
Sublinear Time Algorithm for Online Weighted Bipartite Matching
Online bipartite matching is a fundamental problem in online algorithms....
research
∙
05/02/2022
Giallar: Push-Button Verification for the Qiskit Quantum Compiler
This paper presents Giallar, a fully-automated verification toolkit for ...
research
∙
04/14/2022
A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm
Quantum computing technology may soon deliver revolutionary improvements...
research
∙
04/13/2021
Gleipnir: Toward Practical Error Analysis for Quantum Programs (Extended Version)
Practical error analysis is essential for the design, optimization, and ...
research
∙
02/02/2021
Symmetric Boolean Factor Analysis with Applications to InstaHide
In this work we examine the security of InstaHide, a recently proposed s...
research
∙
01/20/2021
Solving Tall Dense SDPs in the Current Matrix Multiplication Time
This paper introduces a new interior point method algorithm that solves ...
research
∙
11/24/2020
InstaHide's Sample Complexity When Mixing Two Private Images
Inspired by InstaHide challenge [Huang, Song, Li and Arora'20], [Chen, S...
research
∙
05/05/2020
Edge-Weighted Online Bipartite Matching
Online bipartite matching and its variants are among the most fundamenta...
research
∙
10/07/2019
Understanding Zadimoghaddam's Edge-weighted Online Matching Algorithm: Unweighted Case
This article identifies a key algorithmic ingredient in the edge-weighte...
research
∙
08/23/2019
Contract-based verification of a realistic quantum compiler
In this paper, we present CertiQ, a mostly-automated verification framew...
research
∙
11/12/2018
Streaming Hardness of Unique Games
We study the problem of approximating the value of a Unique Game instanc...
research
∙
10/18/2018