Arash Gholami Davoodi

activity

20122026

most citedAligned Image Sets under Channel Uncertainty: Settling a Conjecture by Lapidoth, Shamai and Wigger on the Collapse of Degrees of Freedom under Finite Precision CSIT

50 citations · 60 across the 10 of their papers we have counts for

collaborators

Showing cs.LGShow all

2 papers · 1 filter

cs.LG2026

Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization

Navid Rezazadeh, Arash Gholami Davoodi

Certified verification of transformer attention requires bounding the softmax function over interval constraints on the pre-softmax scores. Existing verifiers relax softmax ndepend…

cs.LG2019

ForestDSH: A Universal Hash Design for Discrete Probability Distributions

Arash Gholami Davoodi, Sean Chang, Hyun Gon Yoo +3

In this paper, we consider the problem of classification of $M$ high dimensional queries $y^{1}, \dots, y^{M} \in B^{S}$ to $N$ high dimensional classes $x^{1}, \dots, x^{N} \in A^{S}$ where $A$ a…