Albarghouthi, Aws
- Introduction to Neural Network Verification
2021/09/21 by Aws Albarghouthi, Albarghouthi, Aws · 1 voice · 5 citations
#cs.LG #cs.AI #cs.PL
- Qubit Mapping and Routing via MaxSAT
2022/08/29 by Abtin Molavi, Molavi, Abtin, Amanda Xu +9 · 7 citations
Computer Science · #Cloud Computing and Resource Management #FOS: Computer and information sciences #FOS: Physical sciences #Hardware Architecture (cs.AR) #Parallel Computing and Optimization Techniques #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)
- Dependency-Aware Compilation for Surface Code Quantum Architectures
2023/11/29 by Molavi, Abtin, Xu, Amanda, Tannu, Swamit +1 · 6 citations
#FOS: Computer and information sciences #FOS: Physical sciences #Programming Languages (cs.PL) #Quantum Physics (quant-ph)
- Trace Abstraction Modulo Probability
2018/10/29 by Smith, Calvin, Hsu, Justin, Albarghouthi, Aws · 2 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions
2023/04/20 by Meyer, Anna P., Albarghouthi, Aws, D'Antoni, Loris · 3 citations
#Computers and Society (cs.CY) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Optimizing Quantum Circuits, Fast and Slow
2024/11/06 by Amanda Xu, Xu, Amanda, Abtin Molavi +5 · 1 voice · 4 citations
Computer Science · #Quantum Computing Algorithms and Architecture
- Certifying Robustness to Programmable Data Bias in Decision Trees
2021/10/08 by Meyer, Anna P., Albarghouthi, Aws, D'Antoni, Loris · 2 citations
#Computers and Society (cs.CY) #FOS: Computer and information sciences #I.2.2 #I.5.0 #K.4.2 #Machine Learning (cs.LG)
- Perceptions of the Fairness Impacts of Multiplicity in Machine Learning
2024/09/18 by Anna P. Meyer, Yea-Seul Kim, Meyer, Anna P. +5 · 1 voice · 2 citations
#cs.CY #cs.HC
- Managing Classical Processing Requirements for Quantum Error Correction
2024/06/26 by Maurya, Satvik, Molavi, Abtin, Albarghouthi, Aws +1 · 2 citations
#FOS: Computer and information sciences #FOS: Physical sciences #Hardware Architecture (cs.AR) #Quantum Physics (quant-ph)
- AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels
2022/08/30 by Nicholas J. Roberts, Roberts, Nicholas, Xintong Li +17 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Human Pose and Action Recognition #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Data Classification
- BagFlip: A Certified Defense against Data Poisoning
2022/05/26 by Zhang, Yuhao, Albarghouthi, Aws, D'Antoni, Loris · 1 citation
#FOS: Computer and information sciences #Machine Learning (cs.LG)
- PECAN: A Deterministic Certified Defense Against Backdoor Attacks
2023/01/27 by Zhang, Yuhao, Albarghouthi, Aws, D'Antoni, Loris · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Scaling-Up In-Memory Datalog Processing: Observations and Techniques
2018/12/10 by Zhiwei Fan, Fan, Zhiwei, Jian-Qiao Zhu +9 · 1 citation
Computer Science · #Advanced Database Systems and Queries #Cloud Computing and Resource Management #Databases (cs.DB) #FOS: Computer and information sciences #Graph Theory and Algorithms
- LiveResearchBench: A Live Benchmark for User-Centric Deep Research in the Wild
2025/10/16 by Wang, Jiayu, Ming, Yifei, Dulepet, Riya +7 · 4 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
- Verified Foundations for Differential Privacy
2024/12/02 by Markus de Medeiros, Muhammad Naveed, de Medeiros, Markus +17 · 2 citations
Computer Science · #Privacy-Preserving Technologies in Data
- A Static Analysis-based Cross-Architecture Performance Prediction Using\n Machine Learning
2019/06/18 by Newsha Ardalani, Urmish Thakker, Ardalani, Newsha +5 · 1 citation
Computer Science · #Software System Performance and Reliability #Parallel Computing and Optimization Techniques #Cloud Computing and Resource Management