News for hackers. Stuff that matters.
Re:MiniZinc by transformi on Friday July 21, 2023 @07:12PM (#36821260)
Can LLM help in this task?
Re:MiniZinc by aostiles on Friday July 21, 2023 @07:50PM (#36821609)
I'm not an expert on MiniZinc, but tried applying it and GPT-4 to a toy problem: https://buttondown.email/aostiles/archive/flight-optimizatio...
Re:MiniZinc by boxed on Friday July 21, 2023 @07:51PM (#36821622)
Seems like no? I mean, they are great in getting some text that looks correct but is an hallucination. LLM can help in getting something roughly ok, that a human can fix. This doesn't seem to be the case here.
Re:MiniZinc by travisjungroth on Saturday July 22, 2023 @12:37AM (#36823313)
Translating is the thing that GPT is best at. Hallucination is much less of a problem here because you’re dealing with a whole language, not a ton of libraries with different APIs.