1
Constraint acquisition needs better benchmarks
约束获取领域现有基准测试存在缺陷，这篇论文呼吁建立更全面、更具挑战性的评估标准，推动算法进步。
arXiv:2605.26279v1 Announce Type: new Abstract: Constraint Acquisition (CA) and related research on the validation and enhancement of Mathematical Pro…