Provable Unlearning in Language Models: Guarantees and Utility Preservation - Rollup News