heapsort
RESEARCH27

Constraint acquisition needs better benchmarks

arXiv CS.AI·27 de mayo de 2026

Los benchmarks actuales para la Adquisición de Restricciones (CA) y modelos de Programación Matemática (MP) son insuficientes, lo que dificulta la reproducibilidad y comparabilidad de la investigación. Este trabajo presenta MPMMine, una nueva suite de benchmarks diseñada para validar y mejorar modelos MP utilizando diversos artefactos de conocimiento de dominio, promoviendo la consistencia y la apertura.

Leer original