Haohao Song, Yuling Lin, Yangfan Huang, Haizhou Du, Qiao Xiang, Yijian Chen, Linghe Kong, Qiang Li 0045, Franck Le, Jiwu Shu. Toward Verifying and Interpreting Learning-Based Networking Systems With SMT. IEEE/ACM Trans. Netw., 33(4):1469-1483, 2025. [doi]
Abstract is missing.