Cover Image

CP-SynC: Multi-Agent Zero-Shot Constraint Modeling in MiniZinc with Synthesized Checkers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Song, Yuliang, Cohen, Eldan
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence Computation and Language
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Text2Zinc: A Cross-Domain Dataset for Modeling Optimization and Satisfaction Problems in MiniZinc
by: Singirikonda, Akash, et al.
Published: (2025)

SynC: Synthetic Image Caption Dataset Refinement with One-to-many Mapping for Zero-shot Image Captioning
by: Kim, Si-Woo, et al.
Published: (2025)

ConstraintChecker: A Plugin for Large Language Models to Reason on Commonsense Knowledge Bases
by: Do, Quyet V., et al.
Published: (2024)

Variational Prefix Tuning for Diverse and Accurate Code Summarization Using Pre-trained Language Models
by: Zhao, Junda, et al.
Published: (2025)

$\texttt{SynC}$: Synergistic Boosting of Structure and Representation for Deep Graph Clustering
by: Ding, Shifei, et al.
Published: (2024)

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond
by: Liu, Junteng, et al.
Published: (2025)

SynDec: A Synthesize-then-Decode Approach for Arbitrary Textual Style Transfer via Large Language Models
by: Sun, Han, et al.
Published: (2025)

Agent Instructs Large Language Models to be General Zero-Shot Reasoners
by: Crispino, Nicholas, et al.
Published: (2023)

CP-Agent: Agentic Constraint Programming
by: Szeider, Stefan
Published: (2025)

TacoLM: GaTed Attention Equipped Codec Language Model are Efficient Zero-Shot Text to Speech Synthesizers
by: Song, Yakun, et al.
Published: (2024)

First Train to Generate, then Generate to Train: UnitedSynT5 for Few-Shot NLI
by: Banerjee, Sourav, et al.
Published: (2024)

Extracting Events Like Code: A Multi-Agent Programming Framework for Zero-Shot Event Extraction
by: Guo, Quanjiang, et al.
Published: (2025)

FactCG: Enhancing Fact Checkers with Graph-Based Multi-Hop Data
by: Lei, Deren, et al.
Published: (2025)

DataAgent: Evaluating Large Language Models' Ability to Answer Zero-Shot, Natural Language Queries
by: Mishra, Manit, et al.
Published: (2024)

Synthesizing Post-Training Data for LLMs through Multi-Agent Simulation
by: Tang, Shuo, et al.
Published: (2024)

Rank-and-Reason: Multi-Agent Collaboration Accelerates Zero-Shot Protein Mutation Prediction
by: Tan, Yang, et al.
Published: (2026)

Can Community Notes Replace Professional Fact-Checkers?
by: Borenstein, Nadav, et al.
Published: (2025)

Diverge to Induce Prompting: Multi-Rationale Induction for Zero-Shot Reasoning
by: Chen, Po-Chun, et al.
Published: (2026)

BoostTaxo: Zero-Shot Taxonomy Induction via Boosting-Style Agentic Reasoning and Constraint-Aware Calibration
by: Ling, Yancheng, et al.
Published: (2026)

Are Large Language Models Table-based Fact-Checkers?
by: Zhang, Hanwen, et al.
Published: (2024)

Zero-Shot Keyphrase Generation: Investigating Specialized Instructions and Multi-Sample Aggregation on Large Language Models
by: Mohan, Jayanth, et al.
Published: (2025)

Benchmarking Open-Source Large Language Models for Persian in Zero-Shot and Few-Shot Learning
by: Cherakhloo, Mahdi, et al.
Published: (2025)

Survey of Pseudonymization, Abstractive Summarization & Spell Checker for Hindi and Marathi
by: Ransing, Rasika, et al.
Published: (2024)

ConsistencyChecker: Tree-based Evaluation of LLM Generalization Capabilities
by: Hong, Zhaochen, et al.
Published: (2025)

ZeroUnlearn: Few-Shot Knowledge Unlearning in Large Language Models
by: Lin, Yujie, et al.
Published: (2026)

Multi-Agent VQA: Exploring Multi-Agent Foundation Models in Zero-Shot Visual Question Answering
by: Jiang, Bowen, et al.
Published: (2024)

Zero-Shot Verification-guided Chain of Thoughts
by: Chowdhury, Jishnu Ray, et al.
Published: (2025)

Fusion Makes Perfection: An Efficient Multi-Grained Matching Approach for Zero-Shot Relation Extraction
by: Li, Shilong, et al.
Published: (2024)

Large Language Models are Zero-Shot Next Location Predictors
by: Beneduce, Ciro, et al.
Published: (2024)

Zero-Shot Detection of LLM-Generated Text via Implicit Reward Model
by: Liu, Runheng, et al.
Published: (2026)

LM-Infinite: Zero-Shot Extreme Length Generalization for Large Language Models
by: Han, Chi, et al.
Published: (2023)

Self-Prompting Large Language Models for Zero-Shot Open-Domain QA
by: Li, Junlong, et al.
Published: (2022)

GenAI vs. Human Fact-Checkers: Accurate Ratings, Flawed Rationales
by: Tai, Yuehong Cassandra, et al.
Published: (2025)

SynBullying: A Multi LLM Synthetic Conversational Dataset for Cyberbullying Detection
by: Kazemi, Arefeh, et al.
Published: (2025)

ZoFia: Zero-Shot Fake News Detection with Entity-Guided Retrieval and Multi-LLM Interaction
by: Wu, Lvhua, et al.
Published: (2025)

Are Stereotypes Leading LLMs' Zero-Shot Stance Detection ?
by: Dubreuil, Anthony, et al.
Published: (2025)

Zero-Shot Clinical Trial Patient Matching with LLMs
by: Wornow, Michael, et al.
Published: (2024)

Evaluating Zero-Shot Long-Context LLM Compression
by: Wang, Chenyu, et al.
Published: (2024)

Language-Independent Representations Improve Zero-Shot Summarization
by: Solovyev, Vladimir, et al.
Published: (2024)

Zero-Shot Continuous Prompt Transfer: Generalizing Task Semantics Across Language Models
by: Wu, Zijun, et al.
Published: (2023)