Language Model Planners do not Scale, but do Formalizers?
arXiv:2603.23844v1 Announce Type: new
Abstract: Recent work shows overwhelming evidence that LLMs, even those trained to scale their reasoning trace, perform unsatisfactorily when solving planning problems too complex. Whether the same conclusion hold…