Aws Albarghouthi
- SlopCodeBench: Benchmarking How Coding Agents Degrade Over Long-Horizon Iterative Tasks
2026/03/25 by Gabriel Orlanski, Devjeet Roy, Alexander Yun +7 · 8 voices · 3 citations
#cs.SE #cs.AI #cs.CL
- 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 · 9 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 Abtin Molavi, Amanda Xu, Molavi, Abtin +5 · 6 citations
Computer Science · #FOS: Computer and information sciences #FOS: Physical sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph) #Quantum-Dot Cellular Automata
- Optimizing Quantum Circuits, Fast and Slow
2024/11/06 by Amanda Xu, Xu, Amanda, Abtin Molavi +5 · 1 voice · 6 citations
Computer Science · #Quantum Computing Algorithms and Architecture
- Perceptions of the Fairness Impacts of Multiplicity in Machine Learning
2024/09/18 by Anna P. Meyer, Meyer, Anna P., Yea-Seul Kim +5 · 1 voice · 2 citations
#cs.CY #cs.HC
- Robustness to Programmable String Transformations via Augmented Abstract Training
2020/02/21 by Yuhao Zhang, Aws Albarghouthi, Zhang, Yuhao +3 · 3 citations
Computer Science · #Adversarial Robustness in Machine Learning #Topic Modeling #Software Testing and Debugging Techniques
- Certified Robustness to Programmable Transformations in LSTMs
2021/02/15 by Yuhao Zhang, Zhang, Yuhao, Aws Albarghouthi +3 · 1 citation
Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering Research #Topic Modeling
- Scaling-Up In-Memory Datalog Processing: Observations and Techniques
2018/12/10 by Zhiwei Fan, Jian-Qiao Zhu, Fan, Zhiwei +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
- AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels
2022/08/30 by Nicholas J. Roberts, Xintong Li, Roberts, Nicholas +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
- 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