The LLM is fine. This paper is just giving it an equivalent of a fucked up whiteboard interview question, to be answered on the spot, decided specifically confuse and humiliate the interviewee.
I don't know what the authors of that though. That LLM runs a SAT solver to answer questions?
I don't know what the authors of that though. That LLM runs a SAT solver to answer questions?