BriefGPT.xyz
Mar, 2022
基于SMT求解器的神经网络等价性检查
On Neural Network Equivalence Checking using SMT Solvers
HTML
PDF
Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis
TL;DR
本研究通过首次基于SMT的编码探讨了神经网络等效性检查的实用性和限制,并提出了未来研究和改进的思路。
Abstract
Two pretrained
neural networks
are deemed equivalent if they yield similar outputs for the same inputs.
equivalence checking
of
neural networks
→