Bayesian Over-the-Air FedAvg via Channel Driven Stochastic Gradient Langevin Dynamics | IEEE Conference Publication | IEEE Xplore