List your company

Robustness Certification on Attention blocks

74.2Certification Ratealpha-CROWN
5.66423.45741.2559.043May 8, 2026

Evaluation results

MethodLinks
alpha-CROWNK=4, d=16, epsilon (ϵ)=0.03, Sec./trial=1.6622026.0574.20.2912
Vertex-CROWNK=4, d=16, epsilon (ϵ)=0.03, Sec./trial=0.0422026.0574.20.2809
Vertex-CROWNK=4, d=16, epsilon (ϵ)=0.05, Sec./trial=0.0332026.0562.50.1327
Vertex-CROWNK=6, d=16, epsilon (ϵ)=0.03, Sec./trial=0.0422026.0559.10.1255
alpha-CROWNK=6, d=16, epsilon (ϵ)=0.03, Sec./trial=1.6782026.0558.30.1219
alpha-CROWNK=4, d=16, epsilon (ϵ)=0.05, Sec./trial=1.5372026.0550-0.0311
ABCrown-BaBK=4, d=16, epsilon (ϵ)=0.05, Sec./trial=267.8062026.0550—
Vertex-CROWNK=4, d=32, epsilon (ϵ)=0.03, Sec./trial=0.0372026.05500.0645
ABCrown-BaBK=4, d=32, epsilon (ϵ)=0.03, Sec./trial=395.0912026.0529.2—
alpha-CROWNK=4, d=32, epsilon (ϵ)=0.03, Sec./trial=1.7522026.0525-0.1853
CROWNK=4, d=16, epsilon (ϵ)=0.05, Sec./trial=0.1582026.0512.5-1.035
CROWNK=4, d=32, epsilon (ϵ)=0.03, Sec./trial=0.1902026.058.3-1.273