Hui Li, Xing Fu, Ruofan Wu, Jinyu Xu, Kai Xiao, Xiaofu Chang, Weiqiang Wang, Shuai Chen, Leilei Shi, Tao Xiong, Yuan Qi. Design Domain Specific Neural Network via Symbolic Testing. In Aidong Zhang, Huzefa Rangwala, editors, KDD '22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 14 - 18, 2022. pages 3219-3229, ACM, 2022. [doi]
@inproceedings{LiFWXXCWCSXQ22,
title = {Design Domain Specific Neural 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 = {2022},
doi = {10.1145/3534678.3539118},
url = {https://doi.org/10.1145/3534678.3539118},
researchr = {https://researchr.org/publication/LiFWXXCWCSXQ22},
cites = {0},
citedby = {0},
pages = {3219-3229},
booktitle = {KDD '22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 14 - 18, 2022},
editor = {Aidong Zhang and Huzefa Rangwala},
publisher = {ACM},
isbn = {978-1-4503-9385-0},
}