CP-SynC：MiniZincにおける合成チェッカー付きマルチエージェント・ゼロショット制約モデリング
arXiv cs.AI / 2026/5/5
📰 ニュースDeveloper Stack & InfrastructureModels & Research
要点
- 本論文は、自然言語の制約問題から実行可能なMiniZincモデルをゼロショットで作るためのマルチエージェント手法CP-SynCを提案している。
- 「モデリング」エージェントが候補モデルの生成と改良を行い、「バリデーション」エージェントがセマンティック（意味）チェックを行うための合成チェッカーを作成して正しさを検証する。
- 各LLM出力に含まれるノイズや誤りを抑えるため、CP-SynCは複数のモデリング経路を並列に探索し、マルチエージェントの証拠を統合して最終モデルを選択する。
- 100件のCP問題ベンチマークでの実験では、CP-SynCがMiniZincモデリングの既存ベースラインを大きく上回ることを示した。
- 本研究は、テスト時にオラクル検証がない状況でLLMが問題文を翻訳する際に起きる微妙なセマンティック誤りという主要なボトルネックに焦点を当てている。
