Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT - Popovic, Miroslav; Popovic, Marko; Djukic, Miodrag; Basicevic, Ilija (2025 MIPRO 48th ICT and Electronics Convention, 2025)
Keywords: Chatbots; ChatGPT; Codes; Communicating Sequential Processes; Federated learning; Formal verification; Programming profession; Python; Safety; Syntactics; Translation