1 paper · 2 filters
Long H. Pham, Jun Sun
On the one hand, there has been considerable progress on neural network verification in recent years, which makes certifying neural networks a possibility. On the other hand, neura…