Repository navigation
MUFSC v1.0.0 — supplementary material
Supplementary code, frozen processed data, saved experimental evidence, reproducibility instructions and Lean proof bundles for Machine Unlearning for Federated Socially Fair k-Means Clustering, by Aravind Reddy, Deeraj S K, Mohd Wasif Raza, and Saurav Prakash (first three: equal contribution).
Download the Reproducibility ZIP and start with README.md and GETTING_STARTED.md. GitHub_SHA256SUMS.txt contains its checksum. A Git clone omits the processed NPZ arrays; the release ZIP includes them.
The manuscript PDF and its complete LaTeX source belong on arXiv and are not included here. Supplementary plot PDFs and generated table fragments remain as experimental evidence. An arXiv link will be added after announcement.
This independent repository was created from a fresh supplement-only history on October 9, 2026. Scientific code, data and results retain their verified supplementary-release bytes.
File/source hashes and all 11 processed datasets were checked; saved-evidence aggregation passed during preparation. This is not a new full experiment campaign or a new Lean compilation. See the reproduction matrix and theorem coverage ledger for scope.
MIT applies to the authors' code and Lean proofs; CC BY 4.0 applies to newly written documentation. Inherited code notices and dataset terms are preserved.