TY - RPRT TI - Property-Based Testing for Robust Softmax and Cross-Entropy AU - Muhammad Maaz PY - 2026 UR - https://arxiv.org/abs/2610.36427 ID - 2610.36427 ER -