TY  - RPRT
TI  - Argo: An efficient verification framework for distributed in-network computing
AU  - Mingyuan Song
AU  - Huan Shen
AU  - Jinghui Jiang
AU  - Qiang Su
AU  - Qingyu Song
AU  - Lu Tang
AU  - Wanjian Feng
AU  - Fei Yuan
AU  - Qiao Xiang
AU  - Jiwu Shu
PY  - 2025
UR  - https://arxiv.org/abs/2511.08189
ID  - 2511.08189
ER  -