mlsanityData to 14 Oct 2026

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models

arXiv 2509.07867 ↗First posted 9 Sep 2025cs.AIcited by 0

Not on the map. Why?

Abstract (arXiv)

Constraint Programming and its high-level modeling languages have long been recognized for their potential to achieve the holy grail of problem-solving. However, the complexity of modeling languages, the large number of global constraints, and the art of creating good models have often hindered non-experts from choosing CP to solve their combinatorial problems. While generating an expert-level model from a natural-language description of a problem would be the dream, we are not yet there. We propose a tutoring system called CP-Model-Zoo, exploiting expert-written models accumulated through the years. CP-Model-Zoo retrieves the closest source code model from a database based on a user's natural language description of a combinatorial problem. It ensures that expert-validated models are presented to the user while eliminating the need for human data labeling. Our experiments show excellent accuracy in retrieving the correct model based on a user-input description of a problem simulated with different levels of expertise.

Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 15 of its 33 references that are in the map. First posted on arXiv 9 Sep 2025.

Builds on

15 of 33 references.

References · 15

  1. 2018BERT: Pre-training of Deep Bidirectional Transformers for Language Understandingcited by 40,399
  2. 2019Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformercited by 14,599
  3. 2019BART: Denoising Sequence-to-Sequence Pre-training for Natural Language Generation, Translation, and Comprehensioncited by 5,893
  4. 2024mGTE: Generalized Long-Context Text Representation and Reranking Models for Multilingual Text Retrievalcited by 236
  5. 2023NL4Opt Competition: Formulating Optimization Problems Based on Their Natural Language Descriptionscited by 135
  6. 2022Formal Specifications from Natural Languagecited by 33
  7. 2023Holy Grail 2.0: From Natural Language to Constraint Modelscited by 26
  8. 2024MCP-Solver: Integrating Language Models with Constraint Programming Systemscited by 10
  9. 2022Highlighting Named Entities in Input for Auto-Formulation of Optimization Problemscited by 8
  10. 2025OptiChat: Bridging Optimization Models and Practitioners with Large Language Modelscited by 8
  11. 2016XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problemscited by 7
  12. 2023A Novel Approach for Auto-Formulation of Optimization Problemscited by 7
3 more
  1. 2022Tag Embedding and Well-defined Intermediate Representation improve Auto-Formulation of Problem Descriptioncited by 5
  2. 2022Linear programming word problems formulation using EnsembleCRF NER labeler and T5 text generator with data augmentationscited by 4
  3. 2024Proceedings of the 2024 XCSP3 Competitioncited by 1

Built on by

Not cited yet.