Oded Padon

Un nuovo metodo aumenta l'efficienza delle reti neurali profonde attraverso un'ottimizzazione automatizzata.

Questo articolo presenta tecniche efficienti per usare la logica di primo ordine nella verifica dei sistemi.