Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism
यह शोध पत्र -CROWN सत्यापन ढांचे (verification framework) में टेंसर पैरेललिज्म (Tensor Parallelism) और फुली शार्डेड डेटा पैरेललिज्म (Fully Sharded Data Parallelism) को अनुकूलित करता है ताकि GPU मेमोरी के उपयोग को काफी कम किया जा सके, जिससे CIFAR-100 पर ResNet-large जैसे बड़े पैमाने के न्यूरल नेटवर्क का औपचारिक सत्यापन संभव हो सके जो पहले मेमोरी की सीमाओं के कारण असंभव था।