@misc{indiciae189582b0bbbc,
  title = {SHORING: Design Provable Conditional High-Order Interaction Network via Symbolic Testing},
  author = {Hui Li and Xing Fu and Ruofan Wu and Jinyu Xu and Kai Xiao and Xiaofu Chang and Weiqiang Wang and Shuai Chen and Leilei Shi and Tao Xiong and Yuan Qi},
  year = {2021},
  url = {https://arxiv.org/abs/2107.01326},
  note = {Source identifier: 2107.01326}
}