2 citations · 4 across the 12 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026
OVIG: Optimistic Verification of AI Training Integrity via Gradient Signals
Hongxu Su, Jianzhu Yao, Huan Zhang +2
The rapid growth of AI has increased the demand for domain-specific models. Post-training of open-source models offers a more economical way to meet this growing demand, but the co…
cs.CR2025
TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks
Jianzhu Yao, Hongxu Su, Taobo Liao +4
Neural networks increasingly run on hardware outside the user's control (cloud GPUs, inference marketplaces). Yet ML-as-a-Service reveals little about what actually ran or whether…