約束式程式設計

速報

CP-SynC：以多代理與合成檢核器推進零樣本 MiniZinc 約束建模

將自然語言問題自動轉成約束式程式模型長期是瓶頸。CP-SynC 提出一套多代理零樣本建模流程：建模代理生成並精煉 MiniZinc 候選模型，驗證代理合成語義檢核器以提供回饋；系統並行探索多條建模路徑，最後以證據聚合挑選最終模型。