Machine Learning-Based Generalization Queries for Constraint Acquisition

Date:

Poster on machine learning-based generalization queries for interactive constraint acquisition, presented at SMiLe 2026. The poster summarizes the motivation for learning constraint patterns rather than individual ground constraints, the proposed ML-based generalization query approach, and a user study on natural-language formulations of such queries.

Poster