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)

Adaptive Participant Selection in Heterogeneous Federated Learning. - Rana Albelaihi; Xiang Sun 001; Warren D. Craft; Liangkun Yu; Chonggang Wang (GLOBECOM, 2021)

Green Federated Learning via Energy-Aware Client Selection. - Rana Albelaihi; Liangkun Yu; Warren D. Craft; Xiang Sun 001; Chonggang Wang; Robert Gazda (GLOBECOM, 2022)

Verifying Quantum Phase Estimation (QPE) using Prove-It. - Wayne M. Witzel; Warren D. Craft; Robert D. Carr; Deepak Kapur (CoRR, 2023)