Showing 1–19 of 19 results
/ Date/ Name
Feb 2, 2021Symmetric Sparse Boolean Matrix Factorization and ApplicationsMay 2, 2022Giallar: Push-Button Verification for the Qiskit Quantum CompilerOct 18, 2018Tight Competitive Ratios of Classic Matching Algorithms in the Fully Online ModelAug 23, 2019CertiQ: A Mostly-automated Verification of a Realistic Quantum CompilerJan 20, 2021Solving SDP Faster: A Robust IPM Framework and Efficient ImplementationNov 12, 2018Streaming Hardness of Unique GamesApr 13, 2021Gleipnir: Toward Practical Error Analysis for Quantum Programs (Extended Version)Nov 24, 2020InstaHide's Sample Complexity When Mixing Two Private ImagesMay 5, 2020Edge-Weighted Online Bipartite MatchingOct 7, 2019Understanding Zadimoghaddam's Edge-weighted Online Matching Algorithm: Unweighted CaseApr 14, 2022A Formally Certified End-to-End Implementation of Shor's Factorization AlgorithmNov 3, 2022A Convergence Theory for Federated Average: Beyond SmoothnessMar 15, 2023Weakly Supervised Monocular 3D Object Detection using Multi-View Projection and Direction ConsistencyNov 20, 2023A Case for Synthesis of Recursive Quantum Unitary ProgramsDec 13, 2025From Human Intention to Action Prediction: Intention-Driven End-to-End Autonomous DrivingNov 25, 2025HiCoGen: Hierarchical Compositional Text-to-Image Generation in Diffusion Models via Reinforcement LearningJul 22, 2022A Faster Quantum Algorithm for Semidefinite Programming via Robust IPM FrameworkAug 5, 2022Sublinear Time Algorithm for Online Weighted Bipartite MatchingJul 12, 2024DisQ: A Model of Distributed Quantum Processors (Extended Version)