Conference
2026
From LLM Suggestions to Lean Proofs: Verified Redundant Constraints for MiniZinc
Philipp Danzinger, Nysret Musliu
· International Conference on... · 0 citations
1 paper indexed here
Fetches their full publication history.
Not the right person? Other researchers publish under this name.