research
∙
06/26/2023
Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP
Federated learning (FL) is a machine learning setting where clients keep...
share
research
∙
12/13/2022
Logic of Combinatory Logic
We develop a classical propositional logic for reasoning about combinato...
research
∙
12/21/2021
