Kwing Hei Li | DeepAI

DeepAI

AI Chat AI Detector and Humanizer AI Image Generator AI Video AI Voice Chat

Featured Co-authors

Nicholas D. Lane
67 publications
Pedro Porto Buarque de Gusmão
9 publications
Daniel J. Beutel
6 publications

research

∙ 10/11/2022

Formalizing May's Theorem

This report presents a formalization of May's theorem in the proof assis...

0 Kwing Hei Li, et al. ∙

research

∙ 05/12/2022

Secure Aggregation for Federated Learning in Flower

Federated Learning (FL) allows parties to learn a shared prediction mode...

0 Kwing Hei Li, et al. ∙