CP-SynC: Modellazione Zero-Shot di Vincoli in MiniZinc con Checker Sintetizzati in un Framework Multi-Agente

CP-SynC (Constraint Programming modeling with Synthesized Checkers) rappresenta un framework collaborativo per la modellazione zero-shot di vincoli all'interno di MiniZinc. Questo sistema orchestra agenti di modellazione incaricati di creare e perfezionare potenziali modelli, insieme ad agenti di validazione che sviluppano checker semantici per valutarne la correttezza. Per ridurre il rumore tipicamente presente negli output individuali dei LLM, CP-SynC esplora simultaneamente diversi percorsi di modellazione e utilizza agenti di selezione per la determinazione finale del modello attraverso l'aggregazione di evidenze multi-agente. Questo metodo affronta la difficoltà di convertire descrizioni di problemi in linguaggio naturale in modelli funzionali di programmazione a vincoli, un'area in cui i LLM incontrano spesso sottili imprecisioni semantiche senza una validazione oracle durante i test.