TY  - RPRT
TI  - Verify Implementation Equivalence of Large Models
AU  - Qi Zhan
AU  - Xing Hu
AU  - Xin Xia
AU  - Shanping Li
PY  - 2026
UR  - https://arxiv.org/abs/2603.21851
ID  - 2603.21851
ER  -