Fibrillation
发表于 2025-3-30 09:03:36
0302-9743and synthesis...Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification..This is an open access book..978-3-030-81684-1978-3-030-81685-8Series ISSN 0302-9743 Series E-ISSN 1611-3349
Heart-Attack
发表于 2025-3-30 14:35:04
http://reply.papertrans.cn/24/2334/233358/233358_52.png
colony
发表于 2025-3-30 19:56:47
NN,: Constraint-Based Repair of Neural Network Classifiersttacks. Our evaluation on MNIST and CIFAR-10 models shows that . can improve the accuracy by 45.56% points on poisoned data and 10.40% points on adversarial data. . also provides small improvement in the overall accuracy of models, without requiring new data or re-training.
小说
发表于 2025-3-30 21:39:14
Automated Safety Verification of Programs Invoking Neural Networksy interaction between programs and neural networks. Our technique provides a tight two-way integration of a program and a neural-network analysis and is formalized in a general framework based on abstract interpretation. We evaluate its effectiveness on 26 variants of a widely used, restricted autonomous-driving benchmark.
露天历史剧
发表于 2025-3-31 02:57:55
http://reply.papertrans.cn/24/2334/233358/233358_55.png
改正
发表于 2025-3-31 08:29:17
http://reply.papertrans.cn/24/2334/233358/233358_56.png
光明正大
发表于 2025-3-31 12:10:08
http://reply.papertrans.cn/24/2334/233358/233358_57.png
有特色
发表于 2025-3-31 16:42:44
https://doi.org/10.1007/978-3-322-88430-5 10 benchmarks and compare Verisig 2.0 against three state-of-the-art verification tools. We show that Verisig 2.0 is both more accurate and faster, achieving speed-ups of up to 21x and 268x against different tools, respectively.