TY - RPRT TI - Data-aware Static Analysis: Improving Detection of Semantic Faults in Machine Learning Code Using Data Characteristics AU - Willem Meijer AU - Kristian Sandahl AU - Dániel Varró PY - 2026 DO - 10.1145/3786582.3786805 UR - https://arxiv.org/abs/2606.09957 ID - 2606.09957 ER -