速報
CP-SynC:以多代理與合成檢核器推進零樣本 MiniZinc 約束建模
將自然語言問題自動轉成約束式程式模型長期是瓶頸。CP-SynC 提出一套多代理零樣本建模流程:建模代理生成並精煉 MiniZinc 候選模型,驗證代理合成語義檢核器以提供回饋;系統並行探索多條建模路徑,最後以證據聚合挑選最終模型。
速報
將自然語言問題自動轉成約束式程式模型長期是瓶頸。CP-SynC 提出一套多代理零樣本建模流程:建模代理生成並精煉 MiniZinc 候選模型,驗證代理合成語義檢核器以提供回饋;系統並行探索多條建模路徑,最後以證據聚合挑選最終模型。
深度分析
隨著大型語言模型應用於文本到模型翻譯的熱潮興起,研究者推出 Text2Model 與 Text2Zinc 兩大平台,結合多樣 LLM 策略與 MiniZinc 的求解器無關建模能力,支援滿意度與最佳化問題。實驗顯示部分共駕策略在執行效率與解答正確度上可與現有研究相當,並提供開源工具與排行榜以促進社群改進。