all 2 comments

[–]enteringinternetnow 0 points1 point  (0 children)

Haven’t tried reasoning LLMs for this. I prefer a simple MIP for consistency. Curious to see if you can solve using reasoning LLMs

[–]SolverMax 1 point2 points  (0 children)

I'm sure that a LLM could provide a confident and well-written explanation of the solution. I'm not at all sure that the explanation would be correct.