Pruning Analog Over-the-Air Distributed Learning Models with Accuracy Loss Guarantee | IEEE Conference Publication | IEEE Xplore