Robuta

https://numdam.org/articles/10.5802/aif.3524/ XXL type Artin groups are CAT(0) and acylindrically hyperbolic artin groupsxxltypecatacylindrically