Loading paper
Compress the Context, Keep the Commitments: A Formal Framework for Verifiable LLM Context Compression — Minlit