Bài báo này nêu bật những khó khăn trong việc phổ biến mô hình lập trình ràng buộc (CP) do tính chuyên môn cao của nó. Để giải quyết vấn đề này, chúng tôi trình bày một nghiên cứu về tự động hóa mô hình CP bằng cách sử dụng các mô hình ngôn ngữ quy mô lớn (LLM). Để giải quyết vấn đề hạn chế về bộ dữ liệu đánh giá vốn có trong các nghiên cứu hiện có, chúng tôi trình bày CP-Bench, một chuẩn mực mới bao gồm nhiều bài toán tối ưu hóa tổ hợp. Sử dụng CP-Bench, chúng tôi so sánh và đánh giá hiệu suất mô hình hóa của LLM cho ba hệ thống mô hình CP với các mức độ trừu tượng hóa và cú pháp khác nhau. Chúng tôi đánh giá một cách có hệ thống các phương pháp tính toán dựa trên dấu nhắc và thời gian suy luận, đạt được độ chính xác lên đến 70%. Đặc biệt, chúng tôi chứng minh rằng việc sử dụng một nền tảng Python cấp cao mang lại hiệu suất cao hơn.
