Text2Zinc: A Cross-Domain Dataset for Modeling Optimization and Satisfaction Problems in MiniZinc Paper • 2503.10642 • Published Feb 22 • 2