Conference
From LLM Suggestions to Lean Proofs: Verified Redundant Constraints for MiniZinc
2026 · International Conference on Principles and Practice of Constraint Programming · pp. 17:1-17:19 · 0 citations
· 36 references
Computer Science