Energy Minimization for Federated Learning with IRS-Assisted Over-the-Air Computation | IEEE Conference Publication | IEEE Xplore