Towards principled knowledge editing methods for large language model reasoning Nature