New paper argues LLMs need guaranteed error-free zones