paper-with-me

Papers

Combining Constraint Programming Reasoning with Large Language Model Predictions

2024-07-18 · Florian Régin, Elisabetta De Maria, Alexandre Bonlarron

Constraint Programming (CP) and Machine Learning (ML) face challenges in text generation due to CP's struggle with implementing "meaning'' and ML's difficulty with structural constraints. This paper proposes a solution by combining both approaches and embedding a Large Language Model (LLM) in CP. The LLM handles word generation and meaning, while CP manages structural constraints. This approach builds on GenCP, an improved version of On-the-fly Constraint Programming Search (OTFS) using LLM-generated domains. Compared to Beam Search (BS), a standard NLP method, this combined approach (GenCP with LLM) is faster and produces better results, ensuring all constraints are satisfied. This fusion of CP and ML presents new possibilities for enhancing text generation under constraints.

📄 PDF Abstract BibTeX arXiv:2407.13490

Code (0)

등록된 구현이 없습니다.

Tasks

Language ModelingLanguage ModellingLarge Language ModelText Generation

Similar Papers 제목 키워드 기반

Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration

2013-12-20 · Marcello Balduccini, Yulia Lierler

Recently, researchers in answer set programming and constraint programming spent significant efforts in the development of hybrid languages and solving algorithms combining the strengths of these traditionally separate f…

Scheduling

Proceedings 40th International Conference on Logic Programming

2025-02-11 · Pedro Cabalar, Francesco Fabiano, Martin Gebser, Gopal Gupta 외

Since the first conference In Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic programming. These proceedings include t…

Inductive logic programmingProbabilistic ProgrammingPrompt Engineering

Large Language Model Meets Constraint Propagation

2025-05-29 · Alexandre Bonlarron, Florian Régin, Elisabetta De Maria, Jean-Charles Régin

Large Language Models (LLMs) excel at generating fluent text but struggle to enforce external constraints because they generate tokens sequentially without explicit control mechanisms. GenCP addresses this limitation by …

Language ModelingLanguage ModellingLarge Language Modelmodel+1

Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter

2017-02-14 · Marcello Balduccini, Yuliya Lierler

Researchers in answer set programming and constraint programming have spent significant efforts in the development of hybrid languages and solving algorithms combining the strengths of these traditionally separate fields…

COOL: A Constraint Object-Oriented Logic Programming Language and its Neural-Symbolic Compilation System

2023-11-07 · Jipeng Han

This paper explores the integration of neural networks with logic programming, addressing the longstanding challenges of combining the generalization and learning capabilities of neural networks with the precision of sym…

Logical Reasoning