Uniqueness logic represented via decimal numbers with WASD neural network.

Ru Wang, Ying Wang, Chengxu Ye, Dongsheng Guo, Yunong Zhang

Browse the full ICNC paper archive.