Are Companies Taking AI Risks Seriously? A Systematic Analysis of Companies' AI Risk Disclosures in SEC 10-K forms. - Lucas G. Uberti-Bona Marin; Bram Rijsbosch; Gerasimos Spanakis; Konrad Kollnig (CoRR, 2025)