1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2022★ 1 cited
Formalizing May's Theorem
Kwing Hei Li
This report presents a formalization of May's theorem in the proof assistant Coq. It describes how the theorem statement is first translated into Coq definitions, and how it is sub…
cs.LG2022★ 1 cited
Secure Aggregation for Federated Learning in Flower
Kwing Hei Li, Pedro Porto Buarque de Gusmão, Daniel J. Beutel +1
Federated Learning (FL) allows parties to learn a shared prediction model by delegating the training computation to clients and aggregating all the separately trained models on the…