REVIEW 3 major objections 5 minor 28 references
HermesHFL jointly optimizes hierarchical LLM fine-tuning, selective unlearning, and incentives so clients can leave, erase their influence, and rejoin without full retraining.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-14 04:57 UTC pith:YEZDDTY2
load-bearing objection Solid systems package for hierarchical leave–unlearn–rejoin LoRA with incentives and a usable bilevel solver; the rejoin claim rests on a thin GA+KL check that never audits residual hierarchical influence. the 3 major comments →
HermesHFL: Incentive-Compatible Hierarchical Federated Unlearning for Dynamic LLM Fine-Tuning
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper establishes that selective unlearning, dynamic leave–unlearn–rejoin, and incentive-compatible contracts can be formulated as one hierarchical optimization for LoRA-based LLM fine-tuning, and that a neural-guided bilevel evolutionary solver (Neogen) yields higher or more balanced model utility, unlearning effectiveness, multi-agent utilities, and resource efficiency than pure evolutionary, simulated-annealing, greedy, and random baselines, with a rejoin policy matching retrain-level accuracy at substantially lower runtime.
What carries the argument
Neogen: a neural-guided bilevel evolutionary optimizer that pairs CMA-ES for continuous incentive and penalty variables with CHC (cross-generational elitist selection, heterogeneous recombination, cataclysmic mutation) for binary worker selection and manager association, using a trained neural surrogate to initialize and restrict the discrete search.
Load-bearing premise
The argument assumes that gradient-ascent steps on LoRA adapters, verified only by average KL divergence on the leaving client’s local samples plus a profile refresh before rejoin, actually erase that client’s multi-stage hierarchical influence without restoring forgotten knowledge or permanently damaging global utility.
What would settle it
After a claimed successful unlearning (KL above the paper’s 0.05 threshold), run membership-inference and retrain-distance checks on the global LoRA model for the forgotten client’s samples, then allow rejoin and measure whether forgotten labels reappear or accuracy permanently drops; failure of those audits or reappearance of erased knowledge would refute the unlearning guarantee.
If this is right
- Hierarchical federated LLM systems can honor erasure requests without restarting global training from scratch.
- Recycling unlearning penalties into residual manager budgets raises manager utility when clients rejoin with refreshed profiles.
- Neural surrogates can cut the fitness-evaluation burden of bilevel mixed continuous–discrete participation markets.
- Leave–unlearn–rejoin becomes an operable client lifecycle rather than a permanent exit from hierarchical training.
Where Pith is reading between the lines
- The same bilevel evolutionary pattern may transfer to asynchronous or multi-modal hierarchical FL where clients stream data over time.
- Regulators may still demand stronger erasure audits than local KL thresholds before accepting LoRA gradient-ascent unlearning as GDPR-grade.
- Contribution-proportional budget collapse of the president layer could apply to other hierarchical multi-agent resource markets outside federated learning.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes HermesHFL, a hierarchical federated framework for LoRA-based LLM fine-tuning that supports selective unlearning and leave–unlearn–rejoin client dynamics under incentive contracts among a president (cloud), managers (edges), and workers (clients). It formulates a multi-objective market problem over participation, association, payments, and unlearning penalties, then reduces the three-layer problem to a two-layer form via contribution-proportional budget allocation (Eq. 32). Neogen solves the resulting mixed continuous–discrete bilevel problem with CMA-ES on incentives, CHC on binary selection/association, and a neural surrogate that restricts lower-level search. Unlearning is performed by gradient ascent on LoRA factors, verified by average KL(P_old ∥ P_new) > δ on the unlearning worker’s local samples, after which the worker’s attributes are refreshed and rejoin is allowed. Experiments on GPT-2 (124M) with SST-2 and AGNews (10×3 and 20×4 setups) compare Neogen to Pure EA, SA, Greedy, and Random, and compare Rejoin vs No Rejoin vs Retrain, reporting accuracy, manager/worker utilities, fitness evaluations, and wall-clock time.
Significance. If the claims hold, the work is a useful systems-level contribution at the intersection of hierarchical FL, PEFT for LLMs, machine unlearning, and incentive design. The leave–unlearn–rejoin lifecycle with contracts and residual-budget recycling is a practically relevant modeling step beyond flat FUL and static PEFT-FL. The bilevel evolutionary solver with a neural surrogate is a concrete engineering response to a mixed-integer hierarchical market problem, and the ablations (optimization mechanism and unlearning strategy) give a clear empirical picture of accuracy–utility–cost tradeoffs on small GPT-2 tasks. Strengths include an explicit problem reduction (Appendix A), a stated convergence sketch for Neogen (§6.3), and multi-metric reporting (Acc, MgU, WkU, Feval/r, Time). The main significance risk is that unlearning effectiveness is only weakly audited relative to the hierarchical multi-stage claim, so the “Rejoin ≈ Retrain at lower cost” headline is only partially supported.
major comments (3)
- §5.1.4 (Eqs. 17–24) and §7.2–7.3 (Tables 5–6, Figs. 6–8): The central claim of unlearning effectiveness and Rejoin matching Retrain rests on gradient ascent on LoRA factors plus a single local KL(P_old ∥ P_new) > δ=0.05 on the unlearning worker’s own samples, followed by attribute refresh. Unlearning updates are still FedAvg-aggregated with remaining workers and then globally re-aggregated (Eqs. 19–23). The manuscript reports only that KL exceeds threshold at g=2 and accuracy rebounds in 1–2 rounds. There is no membership-inference attack, retrain-distance / prediction-consistency audit on forgotten data, or post-rejoin leakage check that hierarchical residual influence is not re-injected. Without at least one such audit, “unlearning effectiveness” and the Rejoin≈Retrain part of the Abstract/§8 claim are overstated even if accuracy looks competitive.
- §7.1–7.2 and Tables 2–4: The Abstract and §1.2 claim consistent outperformance over “state-of-the-art baselines” in model utility, unlearning effectiveness, stability, and resource efficiency. The reported baselines are Pure EA (ablation of Neogen), SA, Greedy, and Random with a fixed pricing rule p=3×cost. These are optimization/search baselines, not published hierarchical federated unlearning or incentive-aware FUL methods discussed in §2 (e.g., FedRecovery, KNOT, incentive FUL works). On SST-2 Set#1, SA and Greedy actually report higher Acc than Neogen (0.877/0.834 vs 0.795); Neogen’s advantage is mainly balanced positive MgU/WkU and sometimes lower wall-clock. The SOTA claim should be narrowed to the methods actually compared, or true HFUL/incentive baselines should be added.
- §5.3 Eq. (32) and Appendix A: Collapsing the president into contribution-proportional budget allocation assumes president and managers share sufficiently aligned objectives. This is a modeling choice, not a derived equilibrium. The paper should either (i) state clearly that U_Pres is no longer independently optimized and that results are conditional on this alignment, or (ii) provide a sensitivity check when budget shares deviate from contribution proportions (e.g., fixed or adversarial manager budgets). As written, constraint (C9) and the two-level problem P1 bake in the alignment axiom without testing its necessity for the reported utility balance.
minor comments (5)
- Notation inconsistency: worker utility uses ρ_fgt and Δξ in Eq. (25), while reputation is defined via ˜x / ex indicators in Eq. (26); several places mix (g) superscripts and parenthetical forms (e.g., U^(Mana,g) vs U_Mana,(g)).
- Fig. 1 caption and Neogen flowchart are dense; a short algorithm-box cross-reference to Algorithm 1 in the figure caption would help readers map “Loop 1/2” to the text.
- §7.1: GPT-2 124M with r=8 on SST-2/AGNews is a limited LLM stress test for “strong parameter coupling”; a sentence on why results should transfer to larger models (or an explicit limitation) would strengthen §8.
- Typos / wording: “NEural netwOrk Guided dual network Evolutionary optimizatioN”; “cataclysmic” is standard CHC terminology but should be defined once for non-EA readers; “aloys sun@outlook.com” formatting in affiliations.
- Table 1 lists many free hyperparameters (δ, λ_mana, λ_pres, H, α, eη, p_mut, r_ham, κ=3 for baselines). A short sensitivity paragraph or appendix on δ and κ would reduce the free-parameter concern.
Circularity Check
No significant circularity: HermesHFL/Neogen is a self-contained systems formulation and empirical comparison, not a first-principles derivation that reduces to its inputs.
full rationale
This paper defines utilities, contracts, hierarchical LoRA training/unlearning dynamics, and a mixed-integer bilevel program (P0→P1), then solves it with a hybrid evolutionary method (CMA-ES + CHC + neural surrogate) and reports experimental comparisons. Nothing in the load-bearing chain is equivalent to its inputs by construction. The P0→P1 collapse via proportional budget allocation (eq. 32) is an explicit modeling simplification justified by aligned president/manager objectives (Appendix A); it does not claim to derive empirical accuracy or unlearning success from a tautology. Neogen’s surrogate approximates the lower-level map from data the optimizer itself generates—standard surrogate-assisted search, not a fitted quantity re-labeled as an independent prediction. Convergence arguments (§6.3) use finite discrete search, elitist monotonicity, the external universal-approximation theorem [28], and known CMA-ES properties; they do not smuggle the claimed experimental superiority into the proof. Baselines (Pure EA, SA, Greedy, Random; Rejoin/No-Rejoin/Retrain) are independent of Neogen’s definition of success. Concerns about whether KL>δ plus profile refresh truly erases hierarchical influence are correctness/verification risks, not circularity. No self-definitional loop, no fitted-input-as-prediction, no load-bearing uniqueness theorem imported from the authors, and no renaming of a known result as a derivation.
Axiom & Free-Parameter Ledger
free parameters (6)
- KL unlearning threshold δ
- λ_mana and λ_pres utility normalizers
- Unlearning memory window H and decay α
- CMA-ES/CHC/NN search hyperparameters
- Unlearning LR eη, max GA epochs, weight scale
- Baseline fixed payment multiplier κ=3
axioms (6)
- ad hoc to paper President and managers share sufficiently aligned objectives that three-layer optimization can be collapsed via contribution-proportional budget allocation (eq. 32).
- domain assumption FedAvg-style separate aggregation of LoRA A and B matrices is a valid hierarchical PEFT update rule.
- domain assumption Gradient ascent on local loss plus KL divergence on local predictive distributions is an adequate operational definition of machine unlearning for this system.
- domain assumption Workers are individually rational (u_work≥0) and strategic only through the modeled utility, reputation, and contract terms.
- domain assumption Current-round training quality can be estimated from prior-round observations under mild temporal data variation.
- standard math CMA-ES and CHC with elitist selection converge to useful local optima for the bilevel mixed-integer problem.
invented entities (3)
-
HermesHFL market (president–manager–worker with leave–unlearn–rejoin contracts)
no independent evidence
-
Neogen (neural-guided CMA-ES + CHC bilevel optimizer)
no independent evidence
-
Reputation score ρ_fgt via exponentially weighted unlearning window
no independent evidence
read the original abstract
Hierarchical federated unlearning (HFUL) for large language model (LLM) fine-tuning faces significant challenges due to hierarchical aggregation, dynamic client participation, and strong parameter coupling in LLM adaptation. Selectively removing client contributions is particularly difficult because model updates propagate across multiple aggregation stages while unlearning requests may coincide with client departures and rejoining. To address these issues, we propose **HermesHFL**, a hierarchical federated learning framework that supports selective unlearning, dynamic client participation, and client reintegration for scalable LLM fine-tuning via parameter-efficient fine-tuning (PEFT) with LoRA. We formulate a unified optimization problem that jointly models client participation, edge association, incentive allocation, and unlearning under heterogeneous client behaviors. To solve this problem efficiently, we develop **Neogen**, a neural-guided bilevel evolutionary optimization framework that combines CMA-ES for continuous incentive optimization with a CHC-based evolutionary mechanism for discrete participation and association decisions. A neural surrogate further accelerates optimization and improves search efficiency. Extensive experiments on LLM fine-tuning tasks demonstrate that HermesHFL consistently outperforms state-of-the-art baselines in model utility, unlearning effectiveness, convergence stability, and resource efficiency.
Figures
Reference graph
Works this paper leans on
-
[1]
Communication-efficient learning of deep networks from decentralized data,
B. McMahan, E. Moore, D. Ramage, S. Hampson, and B. A. y. Arcas, “Communication-efficient learning of deep networks from decentralized data,” inProceedings of the 20th International Confer- ence on Artificial Intelligence and Statistics. PMLR, 2017, pp. 1273– 1282
2017
-
[2]
Hierar- chical federated learning across heterogeneous cellular networks,
M. S. H. Abad, E. Ozfatura, D. GUndUz, and O. Ercetin, “Hierar- chical federated learning across heterogeneous cellular networks,” inIEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2020, pp. 8866–8870
2020
-
[3]
Attention is all you need,
A. Vaswani, N. Shazeer, N. Parmar, J. Uszkoreit, L. Jones, A. N. Gomez, Ł. Kaiser, and I. Polosukhin, “Attention is all you need,” Advances in neural information processing systems, vol. 30, 2017
2017
-
[4]
Abdisarabshali, F
P . Abdisarabshali, F. Nadimi, K. Borazjani, N. Khosravan, M. Li- wang, W. Ni, D. Niyato, M. Langberg, and S. Hosseinalipour, “Hi- erarchical federated foundation models over wireless networks for multi-modal multi-task intelligence: Integration of edge learning with d2d/p2p-enabled fog learning architectures,”IEEE Commu- nications Magazine, 2026
2026
-
[5]
European Commission, “Regulation (eu) 2016/679 of the european parliament and of the council on the protection of natural persons with regard to the processing of personal data and on the free movement of such data (gdpr),” Official Journal of the European Union, 2016
2016
-
[6]
Federated unlearning via class- discriminative pruning,
J. Wang, S. Guo, X. Xie, and H. Qi, “Federated unlearning via class- discriminative pruning,” inProceedings of the ACM Web Conference 2022, 2022, p. 622–632
2022
-
[7]
Federated unlearning with gradient descent and conflict mitiga- tion,
Z. Pan, Z. Wang, C. Li, K. Zheng, B. Wang, X. Tang, and J. Zhao, “Federated unlearning with gradient descent and conflict mitiga- tion,” inProceedings of the AAAI Conference on Artificial Intelligence, vol. 39, no. 19, 2025, pp. 19 804–19 812
2025
-
[8]
Fedrecovery: Differentially private machine unlearning for federated learning frameworks,
L. Zhang, T. Zhu, H. Zhang, P . Xiong, and W. Zhou, “Fedrecovery: Differentially private machine unlearning for federated learning frameworks,”IEEE Transactions on Information Forensics and Secu- rity, vol. 18, pp. 4732–4746, 2023
2023
-
[9]
Framu: Attention-based machine unlearning using federated reinforce- ment learning,
T. Shaik, X. Tao, L. Li, H. Xie, T. Cai, X. Zhu, and Q. Li, “Framu: Attention-based machine unlearning using federated reinforce- ment learning,”IEEE Transactions on Knowledge and Data Engineer- ing, vol. 36, no. 10, pp. 5153–5167, 2024
2024
-
[10]
F2ul: Fairness-aware federated unlearning for data trading,
W. Su, P . Wang, Z. Wang, A. Muhammad, T. Tao, X. Tong, and Q. Zhang, “F2ul: Fairness-aware federated unlearning for data trading,”IEEE Transactions on Mobile Computing, vol. 23, no. 12, pp. 13 539–13 555, 2024
2024
-
[11]
Gru: Mitigating the trade-off between unlearning and retention for llms,
Y. Wang, Q. Wang, F. Liu, W. Huang, Y. Du, X. Du, and B. Han, “Gru: Mitigating the trade-off between unlearning and retention for llms,”arXiv preprint arXiv:2503.09117, 2025
Pith/arXiv arXiv 2025
-
[12]
Multi- objective large language model unlearning,
Z. Pan, S. Zhang, Y. Zheng, C. Li, Y. Cheng, and J. Zhao, “Multi- objective large language model unlearning,” inIEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2025, pp. 1–5
2025
-
[13]
Asynchronous federated unlearning,
N. Su and B. Li, “Asynchronous federated unlearning,” inIEEE INFOCOM 2023 - IEEE Conference on Computer Communications, 2023, pp. 1–10
2023
-
[14]
Fate-llm: A industrial grade federated learning framework for large language models,
T. Fan, Y. Kang, G. Ma, W. Chen, W. Wei, L. Fan, and Q. Yang, “Fate-llm: A industrial grade federated learning framework for large language models,”arXiv preprint arXiv:2310.10049, 2023
Pith/arXiv arXiv 2023
-
[15]
Fedalora: Adaptive local lora aggregation for personalized federated learn- ing in llm,
X. Yi, C. Hu, B. Cai, H. Huang, Y. Chen, and K. Wang, “Fedalora: Adaptive local lora aggregation for personalized federated learn- ing in llm,”IEEE Internet of Things Journal, vol. 12, no. 24, pp. 51 854–51 865, 2025
2025
-
[16]
Fedbiot: Llm local fine- tuning in federated learning without full model,
F. Wu, Z. Li, Y. Li, B. Ding, and J. Gao, “Fedbiot: Llm local fine- tuning in federated learning without full model,” inProceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2024, pp. 3345–3355
2024
-
[17]
Flora: Federated fine-tuning large language models with heterogeneous low-rank adaptations,
Z. Wang, Z. Shen, Y. He, G. Sun, H. Wang, L. Lyu, and A. Li, “Flora: Federated fine-tuning large language models with heterogeneous low-rank adaptations,”Advances in Neural Information Processing Systems, vol. 37, pp. 22 513–22 533, 2024
2024
-
[18]
Lora-fair: Federated lora fine-tuning with aggregation and initialization refinement,
J. Bian, L. Wang, L. Zhang, and J. Xu, “Lora-fair: Federated lora fine-tuning with aggregation and initialization refinement,” in Proceedings of the IEEE/CVF International Conference on Computer Vision, 2025, pp. 3737–3746
2025
-
[19]
Resource-efficient personal large language models fine-tuning with collaborative edge computing,
S. Ye, B. Ouyang, T. Qian, L. Zeng, J. Li, J. Du, X. Chu, G. Xing, and X. Chen, “Resource-efficient personal large language models fine-tuning with collaborative edge computing,”IEEE Transactions on Parallel and Distributed Systems, vol. 37, no. 3, pp. 680–696, 2026
2026
-
[20]
Mira: A method of federated multi-task learning for large lan- guage models,
A. Elbakary, C. Ben Issaid, T. ElBatt, K. Seddik, and M. Bennis, “Mira: A method of federated multi-task learning for large lan- guage models,”IEEE Networking Letters, vol. 7, no. 3, pp. 171–175, 2025
2025
-
[21]
Edge-assisted federated learning for large language models in iot sensor systems,
H. Chen, X. Yuan, and H. Li, “Edge-assisted federated learning for large language models in iot sensor systems,”IEEE Journal of Selected Areas in Sensors, vol. 3, pp. 125–138, 2026
2026
-
[22]
Adaptive rank allocation for federated parameter-efficient fine-tuning of language models,
F. Wu, J. Hu, G. Min, and S. Wang, “Adaptive rank allocation for federated parameter-efficient fine-tuning of language models,” IEEE Transactions on Computers, vol. 75, no. 4, pp. 1650–1663, 2026
2026
-
[23]
A sustainable incentive scheme for federated learning,
H. Yu, Z. Liu, Y. Liu, T. Chen, M. Cong, X. Weng, D. Niyato, and Q. Yang, “A sustainable incentive scheme for federated learning,” IEEE Intelligent Systems, vol. 35, no. 4, pp. 58–69, 2020
2020
-
[24]
Incentive and dynamic client selection for federated unlearning,
Y. Lin, Z. Gao, H. Du, D. Niyato, J. Kang, and X. Liu, “Incentive and dynamic client selection for federated unlearning,” inProceed- ings of the ACM Web Conference 2024, 2024, p. 2936–2944
2024
-
[25]
The price of forgetting: Incentive mechanism design for machine unlearning,
Y. Cui and M. H. Cheung, “The price of forgetting: Incentive mechanism design for machine unlearning,”IEEE Transactions on Mobile Computing, vol. 24, no. 11, pp. 11 852–11 864, 2025
2025
-
[26]
Incentivized federated learning and unlearning,
N. Ding, Z. Sun, E. Wei, and R. Berry, “Incentivized federated learning and unlearning,”IEEE Transactions on Mobile Computing, vol. 24, no. 9, pp. 8794–8810, 2025
2025
-
[27]
The chc adaptive search algorithm: How to have safe search when engaging in nontraditional genetic recombina- tion,
L. J. Eshelman, “The chc adaptive search algorithm: How to have safe search when engaging in nontraditional genetic recombina- tion,” inFoundations of genetic algorithms. Elsevier, 1991, vol. 1, pp. 265–283
1991
-
[28]
Multilayer feedfor- ward networks are universal approximators,
H. W. Kurt Hornik, Maxwell Stinchcombe, “Multilayer feedfor- ward networks are universal approximators,”Neural Networks, vol. 2, no. 5, pp. 359–366, 1989. APPENDIXA ILLUSTRATIVEEXAMPLES OFALIGNEDOBJEC- TIVES The transformation from the original three-layer optimiza- tion problem to a two-layer framework is motivated by the observation that upper-level and...
1989
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.