CP-SynC는 자연어 문제 설명을 실행 가능한 MiniZinc 모델로 변환하는 데 어려움을 해결하기 위해 개발된 다중 에이전트 워크플로우입니다. 모델 생성 에이전트는 후보 모델을 생성하고 개선하며, 검증 에이전트는 의미적 정확성에 대한 피드백을 제공하기 위해 의미론적 검증기를 합성합니다. 100개의 CP 문제에 대한 실험 결과, CP-SynC는 기존 방식보다 MiniZinc 모델링 성능이 크게 향상되었습니다.