DOE OSTI2024Bayesian Federated Learning with Hamiltonian Monte Carlo: Algorithm and TheoryNot provided.Mathematics↗