隠された反例を伴うニューラルネットワーク検証器のサウンドネスベンチマーク(Testing Neural Network Verifiers: A Soundness Benchmark with Hidden Counterexamples)
田中専務拓海さん、この論文ってどんな話なんですか。部下が「検証ツールを入れたい」と言うのですが、何を根拠に信頼すればいいのか分からなくて。AIメンター拓海素晴らしい着眼点ですね!この論文は、ニューラルネットワーク検証器(Neural Network Verifier, NN verifi