Philipp Danzinger, Nysret Musliu. From LLM Suggestions to Lean Proofs: Verified Redundant Constraints for MiniZinc. In Nicolas Beldiceanu, editor, 32nd International Conference on Principles and Practice of Constraint Programming, CP 2026, Lisbon, Portugal, July 20-23, 2026. Volume 379 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
Abstract is missing.