Learning to Transmit With Provable Guarantees in Wireless Federated Learning | IEEE Journals & Magazine | IEEE Xplore