6 papers
StepJack: Benchmarking Computer-Use Agent Safety Against Multi-Step Indirect Prompt Injection
Zhuoxin Zhan, Akbar Rafiey, Avery Ma +2
Computer-use agents (CUAs) face a growing threat from indirect prompt injection, where adversarial instructions are planted in the environment such as web pages. In this paper, we…
The Price of Privacy For Approximating Max-CSP
Prathamesh Dharangutte, Jingcheng Liu, Pasin Manurangsi +3
We study approximation algorithms for Maximum Constraint Satisfaction Problems (Max-CSPs) under differential privacy (DP) where the constraints are considered sensitive data. Infor…
The Ideal Membership Problem and Abelian Groups
Andrei A. Bulatov, Akbar Rafiey
Given polynomials the Ideal Membership Problem, IMP for short, asks if belongs to the ideal generated by . In the search version of this prob…
Geometric Algorithms for Neural Combinatorial Optimization with Constraints
Nikolaos Karalias, Akbar Rafiey, Yifei Xu +4
Self-Supervised Learning (SSL) for Combinatorial Optimization (CO) is an emerging paradigm for solving combinatorial problems using neural networks. In this paper, we address a cen…
Differentiable Extensions with Rounding Guarantees for Combinatorial Optimization over Permutations
Robert R. Nerem, Zhishang Luo, Akbar Rafiey +1
Continuously extending combinatorial optimization objectives is a powerful technique commonly applied to the optimization of set functions. However, few such methods exist for exte…
Explaining GNN Explanations with Edge Gradients
Jesse He, Akbar Rafiey, Gal Mishne +1
In recent years, the remarkable success of graph neural networks (GNNs) on graph-structured data has prompted a surge of methods for explaining GNN predictions. However, the state-…