Bài báo này giới thiệu một khung học liên kết dựa trên Python và trình bày một phương pháp tự động chuyển đổi các thuật toán học liên kết được xây dựng trên khung này thành các Quy trình Tuần tự Giao tiếp (CSP) bằng ChatGPT. Mặc dù trước đây cần phải chuyển đổi thủ công, nhưng ChatGPT tự động hóa quy trình, giúp tăng hiệu quả. Các quy trình CSP đã chuyển đổi sau đó được xác minh tính an toàn và hoạt động bằng trình xác minh mô hình PAT. Các thử nghiệm chứng minh việc chuyển đổi và xác thực thành công cho cả các thuật toán học liên kết tập trung và phân tán.