Are LLMs Better Formalizers than Solvers on Complex Problems?

Open in new window