LLMs Formally Modeled as Monotone Compression Algorithms | HACKOBAR_