A Reality Check of Language Models as Formalizers on Constraint Satisfaction Problems
arXiv:2505.13252v4 Announce Type: replace
Abstract: Recent work shows superior performance when using large language models (LLMs) as formalizers instead of as end-to-end solvers for symbolic reasoning problems. Given the problem description, the LLM …