Warren D. Craft

According to our database, Warren D. Craft authored at least 4 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Verifying Quantum Phase Estimation (QPE) using Prove-It.

Wayne M. Witzel, Warren D. Craft, Robert D. Carr, Deepak Kapur

CoRR, 2023

2022

Green Federated Learning via Energy-Aware Client Selection.

Rana Albelaihi, Liangkun Yu, Warren D. Craft, Xiang Sun, Chonggang Wang, Robert Gazda

Proceedings of the IEEE Global Communications Conference, 2022

2021

Adaptive Participant Selection in Heterogeneous Federated Learning.

Rana Albelaihi, Xiang Sun, Warren D. Craft, Liangkun Yu, Chonggang Wang

Proceedings of the IEEE Global Communications Conference, 2021

2020

Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge.

Wayne M. Witzel, Warren D. Craft, Robert D. Carr, Joaquín E. Madrid Larrañaga

CoRR, 2020