BOLT
发表于 2025-4-1 03:27:45
On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks,case of black-box checking based on learning a probably approximately correct, regular approximation of the intersection of the language of the black-box (the network) with the complement of the property to be checked, without explicitly building individual representations of them. When the algorith
单调性
发表于 2025-4-1 09:11:39
http://reply.papertrans.cn/63/6206/620561/620561_62.png