TY  - RPRT
TI  - SHORING: Design Provable Conditional High-Order Interaction Network via Symbolic Testing
AU  - Hui Li
AU  - Xing Fu
AU  - Ruofan Wu
AU  - Jinyu Xu
AU  - Kai Xiao
AU  - Xiaofu Chang
AU  - Weiqiang Wang
AU  - Shuai Chen
AU  - Leilei Shi
AU  - Tao Xiong
AU  - Yuan Qi
PY  - 2021
UR  - https://arxiv.org/abs/2107.01326
ID  - 2107.01326
ER  -