The DOI matches its Crossref record; 497 of the 502 references it cites were found in a registry or an index; 188 of the 503 sources its claims cite were checked for support.
Advances and Open Problems in Federated Learning
Open accessAbstract
Federated learning (FL) is a machine learning setting where many clients (e.g., mobile devices or whole organizations) collaboratively train a model under the orchestration of a central server (e.g., service provider), while keeping the training data decentralized. FL embodies the principles of focused data collection and minimization, and can mitigate many of the systemic privacy risks and costs resulting from traditional, centralized machine learning and data science approaches. Motivated by the explosive growth in FL research, this monograph discusses recent advances and presents an extensive collection of open problems and challenges.
Overview
AI snapshot
Written from a shortened version of the paper’s full text (it is longer than we read).
TL;DR
This paper is a broad survey of federated learning, and the provided text focuses on privacy, security, robustness, and fairness challenges rather than reporting a single empirical study. It argues that FL changes the attack surface and makes many standard defenses harder to deploy because of decentralization, limited client visibility, and communication constraints.
Key findings
- Federated learning increases exposure to white-box evasion attacks because the model broadcast step means the model may be accessible to any malicious client; the text says this “increases the need for defenses against white-box evasion attacks.”
- For model update poisoning, the paper notes that targeted attacks can be strong even with few adversaries: it reports that 10% of participating devices compromised can be enough to introduce a backdoor, even with anomaly detectors at the server.
- Differential privacy is presented as a defense with two explicit strengths: it gives strong, worst-case protections and is closed under composition; but the paper also notes that in FL it can reduce accuracy and its hyperparameters are still hard to choose.
- Under secure aggregation, the server sees only aggregates, which helps privacy, but the paper says the method has limitations: it assumes a semi-honest server in key setup, can still leak through per-round aggregates, is not efficient for sparse vectors, and does not enforce well-formed client inputs.
Methods
- Not a single experimental study; this is a survey / open-problems paper organizing the FL literature across settings, efficiency, privacy, attacks, and fairness.
- The text synthesizes prior work and uses qualitative analysis of threat models, privacy mechanisms (e.g., DP, secure aggregation, MPC, TEEs), and optimization results; it also reproduces convergence-rate tables for IID and non-IID federated optimization methods.
- It discusses the FL setting using a cross-device / cross-silo / decentralized taxonomy and references typical FL workflows, datasets, and software frameworks rather than introducing new data collection.
Limitations
- The paper explicitly states that many open questions remain: e.g., how to defend against inference-time attacks in FL, how to reconcile privacy with robust aggregation, and how to make secure aggregation compatible with non-linear defenses.
- It says that formal analysis is often missing or incomplete for several areas, including split learning privacy guarantees, which are described as “still an open problem,” and the compatibility of some defenses with secure aggregation.
- Evident from the text: because this is a survey, it does not present new experiments or a unified benchmark; conclusions are drawn from existing work and summarized tables, not from a new empirical evaluation.
Model-written summary. Check it against the paper before relying on it.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
188 of 503 cited sources checked · 8 supported · 4 flagged · accuracy not yet measured
Some cited sources support this claim and some don’t — read each source’s verdict below.
In the paper
“This suggests, as shown by Reyzin et al. [392] for practical settings, that assuming honest (or at least semi-honest) behaviour by the server in a key distribution phase (as done in [80, 58]) is required in scenarios where private channels among clients are needed.”
What the sources say
- Disputedcites [392] Niu, 2019, Secure federated submodel learning sourceExperimental — accuracy not yet measured
In “B. Building Blocks” (p. 8), the paper says clients use the server as a relay but establish their secret key through client-to-client Diffie–Hellman exchange, with encryption to protect messages against the intermediary server and signatures to defend against active adversaries. It contrasts this setup with approaches that rely on a trusted third party for key generation and distribution, rather than stating that its setup requires an honest server during key distribution. (LLM, conf=0.78)
Checked by a reasoning model — may be wrong.
- Not matchedcites [80] Ceballos, 2018, SplitNN-driven vertical partitioning
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Partly supportedcites [58] Cyffers, 2020, Privacy amplification by decentralization sourceExperimental — accuracy not yet measured
Section 2 (p. 3) says the model’s restriction on who can see messages can be enforced with secure communication channels, supporting the private-channels part of the claim. It does not describe a server-run key distribution phase or require an honest server; Section 3.3 (p. 5) instead says the approach does not rely on a central server. (LLM, conf=0.85)
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passes- Disputed
The cited sources support only part of this claim — read each source’s verdict below.
In the paper
“Significant related work predates the introduction of the term federated learning.”
What the sources say
- Not matchedcites [396] Cummings, 2019, Bringing differential privacy into the experimental economics lab: Theory and an application to a public-good game
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [492] Zafar
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Partly supportedcites [11] Hard, 2018, Federated learning for mobile keyboard prediction sourceExperimental — accuracy not yet measured
The Related Work section (p. 2) describes federated learning as an extension of server-based distributed training, supporting the existence of antecedent research. It does not say when the term “federated learning” was introduced or establish that significant related work predates that introduction. (LLM, conf=0.72)
- Not matchedcites [457] Ma
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passes- Not matched
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Further, [469] provides a convergence analysis for the non-IID data case, but for the specific scheme based on matching decomposition sampling described above.”
What the sources say
- Could not verifycites [469] Li, 2019, Fair resource allocation in federated learning sourceExperimental — accuracy not yet measured
Section 4.4 (p. 9) and Appendix E.2 (p. 27) report empirical convergence comparisons under heterogeneous data. Searches for “matching decomposition sampling” and “convergence analysis non-IID data scheme sampling” found no passage describing that scheme or an analysis of its convergence, so our copy does not verify the attributed claim. (LLM, conf=0.76)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passes- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“While large companies or organizations can play this role in some application scenarios, a reliable and powerful central server may not always be available or desirable in more collaborative learning scenarios [459].”
What the sources say
- Could not verifycites [459] Lécuyer sourceExperimental — accuracy not yet measured
The Introduction and Conclusion discuss certified defenses against adversarial examples, not the availability or desirability of a central server. Searches for the quoted claim and for central servers in collaborative or distributed learning found no passage addressing that point. (LLM, conf=0.75)
Strength:hedged· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passes- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Currently proposed algorithms include trees [118], linear and logistic regression [490, 224, 316], and neural networks [317].”
What the sources say
- Not matchedcites [118] Xie, 2019, Local adaalter: Communication-efficient stochastic gradient descent with adaptive learning rates
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Could not verifycites [490] Awasthi, 2020, Beyond individual and group fairness, CoRR sourceExperimental — accuracy not yet measured
The Introduction (p. 1) and Related Work (p. 12) discuss algorithmic fairness, not feature-partitioned cross-silo federated learning. Searches for that setting and for logistic regression found no passage describing the claimed algorithms; the paper’s mention of linear programming in Experiments (p. 11) is not linear regression. (LLM, conf=0.76)
- Not matchedcites [224] Bogdanov
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [316] Gennaro
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not checked — no full text of the sourcecites [317] Goldwasser, 1989, The knowledge complexity of interactive proof systems, SIAM J. Comput. source
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passes- Not matched
The cited sources support only part of this claim — read each source’s verdict below.
In the paper
“Furthermore, the server may even become a bottleneck when the number of clients is very large, as demonstrated by Lian et al. [305] (though this can be mitigated by careful system design, e.g. [81]).”
What the sources say
- Not matchedcites Lian et al. [305]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Partly supportedcites [81] Singh, 2019, Detailed comparison of communication efficiency of split learning and federated learning sourceExperimental — accuracy not yet measured
The bottleneck claim is attributed to Lian et al. [305]; this source is cited for the proposed mitigation. Its Analysis (p. 3) finds that split learning has lower data transfer with many clients, supporting a communication-efficiency benefit from system design. It does not establish that this design mitigates a server bottleneck, and the Conclusion (p. 4) leaves resource utilization for future work. (LLM, conf=0.78)
Strength:boosted· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passes- Not matched
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“However, on today's blockchain platforms such as Ethereum [478], data on the blockchains is publicly available by default”
What the sources say
- Could not verifycites [478] Bagdasaryan, 2019, Differential privacy has disparate impact on model accuracy, CoRR sourceExperimental — accuracy not yet measured
The Introduction (p. 1) discusses differential privacy in machine learning, and Experiments (p. 3) mentions public training datasets, not blockchain records. Searches for Ethereum, blockchain, and publicly available ledger data found no passage addressing whether blockchain data is public by default. (LLM, conf=0.75)
Load-bearingStrength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passes- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“The work of [459, 59] introduces fully decentralized algorithms to collaboratively learn a personalized model for each client by smoothing model parameters across clients that have similar tasks (i.e., similar data distributions).”
What the sources say
- Could not verifycites [459] Lécuyer sourceExperimental — accuracy not yet measured
The Introduction describes PixelDP as a certified defense against adversarial examples, and the Differentially Private ML section describes its goal as making predictions robust to changes in input features. Neither section addresses fully decentralized learning, client-specific models, or smoothing parameters across clients with similar tasks. Searches for those terms and their paraphrases found no supporting passage in our copy. (LLM, conf=0.77)
- Not checked — no full text of the sourcecites [59] Wood, 2014, Ethereum: A secure decentralised generalised transaction ledger, Ethereum Project Yellow Paper
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passes- Could not verify
The cited sources support only part of this claim — read each source’s verdict below.
In the paper
“In order to prevent any client from trying to reconstruct the private data of another client by exploiting the global model, client-level differential privacy [338] has been proposed for FL.”
What the sources say
- Partly supportedcites [338] Carlini, 2020, Extracting training data from large language models sourceExperimental — accuracy not yet measured
Section 8 (p. 12) discusses differential privacy as a defense against training-data leakage and reports privacy benefits from user-level DP models for language modeling. It does not say that client-level DP has been proposed for federated learning or that it prevents one client from reconstructing another’s data through a global model. (LLM, conf=0.82)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passes- Partly supported
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Several challenging FL topics including personalization and privacy have begun to be studied in this multi-task/LTL framework [270, 250, 299].”
What the sources say
- Could not verifycites [270] Kwon, 2016, Riffle, Proceedings on Privacy Enhancing Technologies sourceExperimental — accuracy not yet measured
The Introduction and §2.3 discuss anonymous communication, verifiable shuffles, and private information retrieval, not federated learning. Searches for personalization, multi-task learning, and learning-to-learn found no passage addressing privacy in that framework. (LLM, conf=0.76)
- Not checked — no full text of the sourcecites [250] Reyzin, 2018, Turning HATE into LOVE: Homomorphic ad hoc threshold encryption for scalable MPC, IACR Cryptology ePrint Archive
- Not matchedcites [299] Dwork
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passes- Could not verify
- Probably not a substantial claim. 309
- It may state two separate claims as one. 161
At least one cited source doesn’t support this claim or points to a different paper, and none confirmed it — see the verdicts below.
In the paper
“A similar scheme is used by Xie et al. [485] to design a variant of local SGD in which clients locally perform Adagrad [335, 161].”
What the sources say
- Disputedcites [485] Brisimi, 2018, Federated learning of predictive models from federated electronic health records, Int. J. Med. Informat. sourceExperimental — accuracy not yet measured
The Cluster Primal Dual Splitting section (page unavailable) says the authors propose cPDS for decentralized sparse-SVM learning, and Algorithm 1 specifies primal and dual updates. That is a different method from the attributed local-SGD variant with client-side Adagrad; searches for those terms found no supporting passage. (LLM, conf=0.87)
Checked by a reasoning model — may be wrong.
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Disputed
At least one cited source doesn’t support this claim or points to a different paper, and none confirmed it — see the verdicts below.
In the paper
“Notably, Smith et al. [424] introduced the MOCHA algorithm for multi-task federated learning, directly tackling challenges of communication efficiency, stragglers, and fault tolerance.”
What the sources say
- Disputedcites [424] Rajput, 2019, DETOX: A redundancy-based framework for faster and more robust gradient aggregation sourceExperimental — accuracy not yet measured
The Abstract (p. 1) identifies the framework introduced in this paper as DETOX, not MOCHA. The Conclusion (p. 11) says federated-learning variants of DETOX are a future goal, contrary to attributing an introduced federated-learning algorithm to this source. Searches for MOCHA, Smith, stragglers, and communication efficiency yielded no supporting passage. (LLM, conf=0.89)
Checked by a reasoning model — may be wrong.
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Disputed
At least one cited source doesn’t support this claim or points to a different paper, and none confirmed it — see the verdicts below.
In the paper
“The impact of (b) on convergence in general has not been studied until very recently; an analysis is presented in [123].”
What the sources say
- Disputedcites [123] Wang, 2019, SlowMo: Improving communication-efficient distributed SGD with slow momentum sourceExperimental — accuracy not yet measured
The Related Work section (p. 4) says the benefits of compression for methods that average model parameters remain unclear and identifies combining SlowMo with compression as future work. Although the paper analyzes SlowMo’s convergence, it does not present the attributed analysis of model broadcast compression. (LLM, conf=0.88)
Checked by a reasoning model — may be wrong.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Disputed
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“In image and audio domains, adversarial examples are generally constructed by adding norm-bounded perturbations to test examples, though more recent works explore other distortions [176, 477, 259].”
What the sources say
- Could not verifycites [176] S. Augenstein , H. B.McMahan, D.Ramage, S.Ramaswamy, P.Kairouz, M.Chen, R.Mathews, and B. A.y Arcas, Generative models for effective ML on private, decentralized datasets, 2019. [Online]. Available: https://arxiv.org/abs/1911.06679. sourceExperimental — accuracy not yet measured
Section 6 (p. 7) discusses generative adversarial networks for producing images, not adversarial examples made by perturbing test inputs. Searches for norm-bounded perturbations, audio adversarial examples, and other distortions found no passage addressing the claim in our copy. (LLM, conf=0.76)
- Could not verifycites [477] Jagielski, 2018, Differentially private fair learning, CoRR sourceExperimental — accuracy not yet measured
Section 2.3 discusses noise added to computed quantities for differential privacy, and Section 3 describes perturbing statistics used in fair classification. Neither addresses adversarial examples or norm-bounded changes to image or audio test examples; searches for those terms and for other distortions found no relevant passage. Page numbers were unavailable in our copy. (LLM, conf=0.78)
- Not matchedcites [259] Van Bulck
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Tests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Agrawal and Srikant [11] and Vaidya et al. [457] are early examples of work that sought to learn from local data using a centralized server while preserving privacy.”
What the sources say
- Could not verifycites [11] Hard, 2018, Federated learning for mobile keyboard prediction sourceExperimental — accuracy not yet measured
Section 4 (p. 3) describes learning from data kept on client devices while a server aggregates updates, but it does not discuss Agrawal and Srikant or Vaidya et al. Searches for those names and for early privacy-preserving work found no passage identifying their studies as early examples. The printed sentence cites [11] and [457], not an identifiable reference to the Hard et al. paper supplied here. (LLM, conf=0.77)
- Not matchedcites [457] Ma
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources support only part of this claim — read each source’s verdict below.
In the paper
“The growing demand for federated learning technology has resulted in a number of tools and frameworks becoming available. These include TensorFlow Federated [38], Federated AI Technology Enabler [33], PySyft [399], Leaf [35], PaddleFL [36] and Clara Training Framework [125]; more details in Appendix A.”
What the sources say
- Not matchedcites [38] Assran
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [33] Dean
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Partly supportedcites [399] Bagdasaryan, 2018, How to backdoor federated learning sourceExperimental — accuracy not yet measured
Section 3 (p. 3) identifies OpenMined and decentralizedML as providers of open-source software for federated learning, supporting the availability of tools. It does not say that growing demand caused those tools to become available, or identify PySyft by name. (LLM, conf=0.78)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The cited sources support only part of this claim — read each source’s verdict below.
In the paper
“Cross-device federated learning and federated data analysis are now being applied in consumer digital products.”
What the sources say
- Not matchedcites [376] Duchi
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [222] Araki
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [491] Hardt
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Could not verifycites [112] Dutta sourceExperimental — accuracy not yet measured
The Concluding Remarks (p. 19) mention federated learning only as a framework for future work. Searches for “federated data analysis,” “cross-device,” and consumer-product applications found no passage in our copy saying these methods are being applied in consumer digital products. (LLM, conf=0.76)
- Not matchedcites [383] Chen
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Partly supportedcites [14] Yang, 2018, Applied federated learning: Improving Google keyboard query suggestions sourceExperimental — accuracy not yet measured
The Introduction and Conclusion describe federated learning used to train and deploy a model for Gboard, a consumer product, with training performed on devices. The paper does not establish that federated data analysis, as distinct from model training and evaluation, is being applied in consumer products. (LLM, conf=0.86)
- Could not verifycites [439] Mei sourceExperimental — accuracy not yet measured
The Abstract (p. 1) and Introduction (p. 1) discuss training-set attacks on machine learners, not federated learning or federated data analysis. Searches for cross-device federated learning and consumer-product deployment found no passage in our copy addressing the claim. (LLM, conf=0.76)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Not matched
The cited sources support only part of this claim — read each source’s verdict below.
In the paper
“Google makes extensive use of federated learning in the Gboard mobile keyboard [376, 222, 491, 112, 383], as well as in features on Pixel phones [14] and in Android Messages [439].”
What the sources say
- Not matchedcites [376] Duchi
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [222] Araki
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [491] Hardt
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Could not verifycites [112] Dutta sourceExperimental — accuracy not yet measured
The citation is attached to the Gboard portion of the sentence, not the separate Pixel or Android Messages claims. The Introduction (p. 2) mentions Google’s DistBelief system, and the References (p. 24) list federated-learning papers, but neither passage addresses Google’s use of federated learning in Gboard. Searches for Gboard, mobile keyboard, and Google federated learning found no supporting passage in our copy. (LLM, conf=0.76)
- Not matchedcites [383] Chen
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Supportedcites [14] Yang, 2018, Applied federated learning: Improving Google keyboard query suggestions source
The citation is attached to the Gboard portion of the sentence, not the Pixel phones or Android Messages portions. The Introduction describes a commercial, global-scale federated-learning deployment for Gboard query suggestions and also notes its use for next-word prediction; the Conclusion confirms the query-suggestion model was deployed in production. (LLM, conf=0.90)
- Could not verifycites [439] Mei sourceExperimental — accuracy not yet measured
The Abstract (p. 1) describes training-set attacks, and “Training-Set Attacks and Machine Teaching” (p. 3) discusses designing training data to influence a learner. Searches for Gboard, Google’s mobile keyboard, and federated learning found no passage addressing their use together. This citation is attached to the Gboard portion of the sentence, not the Pixel or Android Messages portions. (LLM, conf=0.78)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Not matched
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Cross-silo applications have also been proposed or described in myriad domains including finance risk prediction for reinsurance [476], pharmaceuticals discovery [179], electronic health records mining [184], medical data segmentation [15, 139], and smart manufacturing [354].”
What the sources say
- Not checked — no full text of the sourcecites [476] Cummings source
- Could not verifycites [179] Barnes, 2020, Lower bounds for learning distributions under communication constraints via Fisher information, J. Mach. Learn. Res. sourceExperimental — accuracy not yet measured
The citation’s placement attaches this source to medical data segmentation, not to every domain in the list. The Introduction (p. 1) concerns learning distributions under communication constraints, and Applications to Common Statistical Models (p. 4) discusses Gaussian estimation; neither describes medical data segmentation. Searches for medical segmentation and the other listed applications found no relevant passage in our copy. (LLM, conf=0.77)
- Not matchedcites [184] Alistarh
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
The cited sources support only part of this claim — read each source’s verdict below.
In the paper
“fully decentralized variants of SGD and other optimization algorithms have recently been considered in machine learning both for improved scalability in datacenters [29] as well as for decentralized networks of devices [127, 459, 443, 59, 278, 291, 173].”
What the sources say
- Not matchedcites [29] The Leaf Authors , Leaf, 2019. [Online]. Available: https://leaf.cmu.edu/.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Partly supportedcites [127] Zhang, 2017, A survey on multi-task learning, CoRR sourceExperimental — accuracy not yet measured
“Handling Big Data” (p. 15) says training data can reside on different devices and describes distributed multi-task learning algorithms, supporting the device-network part of the citation. “MTL with Other Learning Paradigms” (p. 13) also mentions a decentralized solver. Neither passage establishes that fully decentralized variants of SGD are used for those device networks; the datacenter clause is attached to a different citation. (LLM, conf=0.83)
- Could not verifycites [459] Lécuyer sourceExperimental — accuracy not yet measured
The Architecture section says PixelDP training can use an optimizer such as stochastic gradient descent, but does not discuss fully decentralized SGD. Searches for decentralized device networks, distributed optimization, and datacenter scalability found no passage addressing the attributed claim; page numbers were unavailable in our copy. (LLM, conf=0.76)
- Could not verifycites [443] Kurakin, 2016, Adversarial machine learning at scale sourceExperimental — accuracy not yet measured
The Experiments section (p. 4) describes synchronous distributed training on 50 machines, not a fully decentralized optimization method. Searches for decentralized SGD, datacenter scalability, and networks of devices found no passage addressing the attributed claim. (LLM, conf=0.76)
- Not matchedcites [59] Wood, 2014, Ethereum: A secure decentralised generalised transaction ledger, Ethereum Project Yellow Paper
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [278] Gentry
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [291] Dwork
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Could not verifycites [173] Xie, 2018, SNAS: Stochastic neural architecture search sourceExperimental — accuracy not yet measured
The Introduction (p. 1) and Related Works (p. 9) discuss gradient-based neural architecture search, not decentralized optimization. Searches for decentralized SGD, device networks, distributed training, and datacenter scalability found no passage in our copy addressing the attributed claim. (LLM, conf=0.77)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Bonawitz et al. [81] provides even more detail for a particular production system, including a discussion of specific architectural choices and considerations.”
What the sources say
- Could not verifycites [81] Singh, 2019, Detailed comparison of communication efficiency of split learning and federated learning sourceExperimental — accuracy not yet measured
The Abstract (p. 1) describes a comparison of split and federated learning communication efficiency, and the Analysis (p. 3) discusses illustrative use cases. Searches for Bonawitz and for a production system’s architecture found no passage addressing the attributed claim. (LLM, conf=0.76)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“[238, 318] study the security and privacy related challenges inherent in such systems.”
What the sources say
- Not matchedcites [238] Gentry
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Could not verifycites [318] Parno, 2016, Pinocchio: Nearly practical verifiable computation, Commun. ACM sourceExperimental — accuracy not yet measured
Section 2.1 (p. 2) discusses private inputs to verifiable computation, and Related Work (p. 12) discusses cryptographic proof systems. Neither addresses security or privacy challenges inherent in feature-partitioned systems. Searches for feature partitioning, vertical partitioning, and privacy across parties found no passage on that point. (LLM, conf=0.76)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Federated transfer learning [490] is another concept that considers challenging scenarios in which data parties share only a partial overlap in the user space or the feature space, and leverage existing transfer learning techniques [365] to build models collaboratively.”
What the sources say
- Could not verifycites [490] Awasthi, 2020, Beyond individual and group fairness, CoRR sourceExperimental — accuracy not yet measured
The Introduction (p. 1) discusses individual and group fairness, while Related Work (p. 14) discusses fairness metrics and limited access to sensitive attributes. Searches for federated transfer learning, partial overlap in user or feature space, and collaborative model building found no passage addressing the claim. The References (p. 15) list a work on fair transfer learning, but that does not establish the claimed description. (LLM, conf=0.76)
- Not matchedcites [365] Jagielski
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Other platforms include [125] focused on a range of medical applications and [321] for enterprise use cases.”
What the sources say
- Could not verifycites [125] Almeida, 2018, DJAM: Distributed Jacobi asynchronous method for learning personal models, IEEE Signal Process. Lett. sourceExperimental — accuracy not yet measured
The paper’s opening section (p. 1) describes DJAM as an algorithm for learning personalized models, and its applications discussion (p. 1) lists recommender systems, classification, opinion propagation, and field estimation. Searches for medical applications and enterprise platforms found no passage addressing either kind of platform. (LLM, conf=0.76)
- Not checked — no full text of the sourcecites [321] Bitansky source
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“For instance, different banks can collaboratively train classification or anomaly detection models for fraud detection [476], hospitals can build better diagnostic models [139], and so on.”
What the sources say
- Not checked — no full text of the sourcecites [476] Cummings source
- Could not verifycites [139] Jiang, 2019, Improving federated learning personalization via model agnostic meta learning sourceExperimental — accuracy not yet measured
Citation [476] is attached to the claim about banks collaborating on fraud-detection models; the hospital claim has a different citation. The Introduction (p. 1) describes federated training across devices, but our copy does not address banks, fraud detection, or anomaly detection (searched those terms and related financial terms). (LLM, conf=0.75)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“A variation of split learning called NoPeek SplitNN [462] reduces the potential leakage via communicated activations, by reducing their distance correlation [461, 442] with the raw data, while maintaining good model performance via categorical cross-entropy.”
What the sources say
- Not matchedcites [462] Natarajan
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [461] Mnih
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Could not verifycites [442] Wong, 2019, Wasserstein adversarial examples via projected sinkhorn iterations sourceExperimental — accuracy not yet measured
The Preliminaries (p. 3) define Wasserstein distance for transporting mass between images, and Background and Related Work (p. 2) discusses its use in adversarial attacks. Searches for NoPeek SplitNN and distance correlation found no passage about communicated activations, leakage reduction, or the claimed performance trade-off. (LLM, conf=0.77)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Not matched
The cited sources support only part of this claim — read each source’s verdict below.
In the paper
“This completes a round of forward propagation without sharing the raw data.”
What the sources say
- Partly supportedcites [215] Zhao, 2019, Decentralized online learning: Take benefits from others’ data without sharing your own to track global trend sourceExperimental — accuracy not yet measured
The Problem formulation (p. 4) says users share local models with neighbors without sharing private data. The Algorithm description (p. 5) describes an iteration involving model exchange, gradient computation, and an update, but does not identify it as a round of forward propagation. (LLM, conf=0.85)
- Not matchedcites [460] Srinathan
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Partly supported
The cited sources support only part of this claim — read each source’s verdict below.
In the paper
“This process is continued until convergence, without having clients directly access each others raw data.”
What the sources say
- Partly supportedcites [215] Zhao, 2019, Decentralized online learning: Take benefits from others’ data without sharing your own to track global trend sourceExperimental — accuracy not yet measured
The Problem formulation (p. 4) says users cooperate without sharing private data, and the Algorithm description (p. 5) says they exchange local models. But Algorithm 1 (p. 4) runs for a specified number of iterations, T; it does not say the process continues until convergence. (LLM, conf=0.89)
- Not matchedcites [460] Srinathan
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Partly supported
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Comparing these two results, we see that minibatch SGD attains the optimal 'statistical' term ( σ / √ TKM ), whilst SGD on a single device (ignoring the updates of the other devices) achieves the optimal 'optimization' term ( H / ( TK ) 2 ).”
What the sources say
- Could not verifycites [294] Kasiviswanathan, 2011, What can we learn privately?, SIAM J. Comput. sourceExperimental — accuracy not yet measured
The paper’s discussion of statistical-query and local private learning (sections 1.1 and 5.1, pp. 3, 20–22) does not address the claimed comparison between minibatch SGD and single-device SGD. Searches for the two methods and their stated statistical and optimization terms found no passage supporting the claim. (LLM, conf=0.75)
- Could not verifycites [137] Nichol, 2018, On first-order meta-learning algorithms sourceExperimental — accuracy not yet measured
Section 3 (p. 4) mentions distributed optimization, but gives no comparison of minibatch SGD with single-device SGD. Section 5.1 (pp. 5–7) analyzes meta-learning updates, not the claimed statistical and optimization terms. Searches for those terms and the stated rates found no supporting passage in our copy. (LLM, conf=0.75)
- Not checked — no full text of the sourcecites [151] Schnell source
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“This can be done for both training and inference.”
What the sources say
- Could not verifycites [215] Zhao, 2019, Decentralized online learning: Take benefits from others’ data without sharing your own to track global trend sourceExperimental — accuracy not yet measured
The Problem formulation (p. 4) describes decentralized online learners making predictions and receiving losses, while the Conclusion (p. 9) discusses sharing models rather than data. Neither passage addresses split learning or whether it can be used for both training and inference; searches for those terms found no relevant passage. (LLM, conf=0.76)
- Not matchedcites [460] Srinathan
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Bounded gradient variance, which is a widely used assumption to analyze stochastic gradient methods, is often used when clients use stochastic local updates [305, 303, 304, 469, 265].”
What the sources say
- Not matchedcites [305] Chen
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [303] Erlingsson
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Could not verifycites [304] Balle sourceExperimental — accuracy not yet measured
Section 5.3 (pp. 22–23) discusses the variance of privacy-amplification random variables, not gradient variance. Searches for bounded gradient variance, stochastic gradient methods, and stochastic local updates found no passage addressing the attributed assumption. (LLM, conf=0.76)
- Could not verifycites [469] Li, 2019, Fair resource allocation in federated learning sourceExperimental — accuracy not yet measured
Section 3.1 (p. 3) describes clients performing local SGD, and Section 3.3 (p. 5) describes local stochastic updates. Neither states that bounded gradient variance is assumed or commonly used for their analysis. Searches for “bounded gradient variance,” “variance,” and related assumptions found discussion of variance in device accuracies, not stochastic gradients. (LLM, conf=0.75)
- Not matchedcites [265] Shi
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“One other engineering driven approach to minimize the amount of information communicated in split learning has been via a specifically learnt pruning of channels present in the client side activations [422].”
What the sources say
- Could not verifycites [422] Fang, 2019, Local model poisoning attacks to Byzantine-robust federated learning sourceExperimental — accuracy not yet measured
The Introduction (pp. 1–2) describes federated learning in which clients send local models to a master device, and §3.1 (p. 5) concerns poisoning those models. Searches for split learning, client-side activations, channel pruning, and communication reduction found no passage addressing the claimed approach. (LLM, conf=0.75)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources support only part of this claim — read each source’s verdict below.
In the paper
“MATCHA [469] further improves the performance of PD-SGD by randomly sampling clients for computation and communication, and provides a convergence analysis showing that local updates can accelerate convergence.”
What the sources say
- Partly supportedcites [469] Li, 2019, Fair resource allocation in federated learning sourceExperimental — accuracy not yet measured
Section 4.4 (p. 9) reports that local updates made q-FedAvg converge faster than q-FedSGD in communication rounds in most cases, and Algorithm 1 (p. 6) randomly selects devices for q-FedSGD. The paper does not identify MATCHA or PD-SGD, show that MATCHA improves PD-SGD, or provide the claimed convergence analysis for MATCHA. (LLM, conf=0.84)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Partly supported
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Reddi et al. [389] instead proposes using adaptive learning rates at the server-level, developing federated versions of adaptive optimization methods with the same communication cost as FedAvg.”
What the sources say
- Could not verifycites [389] Kairouz, 2021, The distributed discrete gaussian mechanism for federated learning with secure aggregation sourceExperimental — accuracy not yet measured
The References list names Reddi et al.’s “Adaptive federated optimization,” but does not describe its methods or communication cost. Section 5.2.3 Setup discusses this paper’s own FedAvg experiments and server learning-rate settings; it does not state that Reddi et al. developed server-level adaptive methods with the same communication cost as FedAvg. Searches for those terms found no supporting passage in our copy. (LLM, conf=0.76)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“This algorithm is extended by Li et al. [304] to the non-IID case.”
What the sources say
- Could not verifycites [304] Balle sourceExperimental — accuracy not yet measured
Section 4.2.1 (p. 13) discusses an i.i.d. assumption for a lower bound on summation protocols, not an extension of PD-SGD. Searches for PD-SGD, Li et al., and a non-IID stochastic-gradient extension found no passage addressing the attributed claim. (LLM, conf=0.76)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Chai Sim et al. [102] applied local fine tuning to personalize speech recognition models in federated learning.”
What the sources say
- Could not verifycites [102] A. Khaled , K.Mishchenko, and P.Richtárik, Better communication complexity for local SGD, 2019. [Online]. Available: https://arxiv.org/abs/1909.04746. sourceExperimental — accuracy not yet measured
The Related Work section (p. 3) discusses local SGD in federated learning, while Experiments (p. 7) describes logistic-regression tests on LIBSVM datasets. Searches for Chai Sim, speech recognition, and local fine-tuning found no passage about personalizing speech-recognition models. Our copy therefore does not substantiate the attributed claim. (LLM, conf=0.76)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“When local datasets are small and the data is IID, FL clearly has an edge, and indeed, real-world applications of federated learning [491, 222, 112] benefit from training a single model across devices.”
What the sources say
- Not matchedcites [491] Hardt
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [222] Araki
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Could not verifycites [112] Dutta sourceExperimental — accuracy not yet measured
The Introduction (p. 1) discusses distributed SGD across worker nodes, but does not assess federated learning when local datasets are small. The Concluding Remarks (p. 19) mention federated learning only as future work. Searches for small IID local datasets and real-world federated-learning applications found no passage supporting the attributed benefits. (LLM, conf=0.74)
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
- Not matched
Every source the paper cites for this claim was checked and supports it.
In the paper
“Such hyperparameters can be crucial to obtaining a good trade-off between accuracy and convergence, and may actually impact the quality of the learned model [106].”
What the sources say
- Supportedcites [106] Woodworth, 2020, Is local SGD better than minibatch SGD? source
The Preliminaries (p. 4) describe how the number of local steps affects the trade-off between communication and optimization error. Section 4 (p. 7) shows that choices of K and R change convergence rates and worst-case error, while Future Work (p. 9) describes tuning the stepsize to minimize training loss. Together, these support the claim that such hyperparameters can affect convergence and the quality of the resulting model. (LLM, conf=0.86)
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Supported
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Recently, a class of algorithms referred to as model-agnostic meta-learning (MAML) have been developed that meta-learn a global model, which can be used as a starting point for learning a good model adapted to a given task, using only a few local gradient steps [187].”
What the sources say
- Could not verifycites [187] Konečný, 2018, Randomized distributed mean estimation: Accuracy vs. communication, Frontiers in Applied Mathematics and Statistics sourceExperimental — accuracy not yet measured
Section 1.1 discusses aggregating stochastic gradients in distributed learning, not meta-learning a model for task adaptation. Searches for MAML, a learned starting point, and adaptation in a few gradient steps found no passage addressing the claim; page numbers were not available in our copy. (LLM, conf=0.77)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources support only part of this claim — read each source’s verdict below.
In the paper
“In nonfederated learning, researchers often use fine-tuning, transfer learning, domain adaptation [329, 132, 61, 332, 133], or interpolation with a personal local model.”
What the sources say
- Could not verifycites [329] Wahby sourceExperimental — accuracy not yet measured
The paper’s Related work section (p. 2) discusses cryptographic polynomial commitments, not domain adaptation. Searches for fine-tuning, transfer learning, domain adaptation, and personal local models found no passage addressing the cited claim. (LLM, conf=0.78)
- Not matchedcites [132] Cortes, 2020, Multiple-source adaptation with domain classifiers
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [61] Cheng
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [332] Tramèr
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Supportedcites [133] Mansour, 2009, Domain adaptation: Learning bounds and algorithms source
The citation is attached to “domain adaptation” in a list of nonfederated learning approaches. The Introduction (p. 1) identifies domain adaptation as the paper’s main topic, and Learning Set-Up (p. 2) describes learning from a source distribution for use on a target distribution. The paper therefore supports the citation as an example of domain-adaptation research; it need not address the other approaches in the list. (LLM, conf=0.92)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Khodak et al. [270] and Jiang et al. [250] explore the connection between FL and MAML, and show how the MAML setting is a relevant framework to model the personalization objectives for FL.”
What the sources say
- Could not verifycites [270] Kwon, 2016, Riffle, Proceedings on Privacy Enhancing Technologies sourceExperimental — accuracy not yet measured
Our copy of Riffle discusses anonymity systems in Background and Related Work and its own system in Models and Assumptions, not federated learning or MAML. Searches for MAML, federated learning, and personalization found no passage addressing the attributed claim. The citing sentence names Khodak et al. and Jiang et al., but our copy does not identify either work as the source of that point. (LLM, conf=0.78)
- Not matchedcites [250] Reyzin, 2018, Turning HATE into LOVE: Homomorphic ad hoc threshold encryption for scalable MPC, IACR Cryptology ePrint Archive
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Hyperparameter optimization (HPO) has a long history under the framework of AutoML [395, 273, 277], but it mainly concerns how to improve the model accuracy [64, 426, 374, 180] rather than communication and computing efficacy for mobile devices.”
What the sources say
- Not checked — no full text of the sourcecites [395] Abowd, 2019, An economic analysis of privacy protection and statistical accuracy as social choices, Am. Econ. Rev. source
- Could not verifycites [273] Chor, 1998, Private information retrieval, J. ACM sourceExperimental — accuracy not yet measured
The Introduction and §2.4 (pages not supplied) discuss private information retrieval, including its communication and computational complexity. Searches for hyperparameter optimization, AutoML, model accuracy, and mobile devices found no passage addressing what HPO mainly concerns. The paper’s focus on communication complexity does not, by itself, contradict a claim about HPO. (LLM, conf=0.76)
- Not matchedcites [277] Angel
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Could not verifycites [64] Cheng, 2019, Se-cureBoost: A lossless federated learning framework, CoRR sourceExperimental — accuracy not yet measured
The Introduction (pp. 1–2) and Preliminaries and Related Work (p. 2) discuss federated learning and mobile terminals, not the history or objectives of hyperparameter optimization under AutoML. Searches for HPO, model accuracy, and communication or computing efficiency for mobile devices found no passage addressing that comparison. (LLM, conf=0.72)
- Could not verifycites [426] Chen, 2020, Backdoor attacks on federated meta-learning sourceExperimental — accuracy not yet measured
The cited paper discusses accuracy in the context of backdoor attacks and defenses (Section 4, p. 6; Appendix A.1, p. 10). Searches for hyperparameter optimization and AutoML found no passage addressing whether HPO primarily targets model accuracy rather than communication or computing efficiency on mobile devices. (LLM, conf=0.76)
- Not matchedcites [374] Bassily, 2020, Practical locally private heavy hitters, J. Mach. Learn. Res.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [180] Braverman
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Load-bearingStrength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Independently of the eventual technical levy of carrying out record linkage privately [407], the task itself happens to be substantially noise prone in the real world [406] and only sparse results have addressed its impact on training models [224].”
What the sources say
- Could not verifycites [406] Chen, 2017, Distributed statistical machine learning in adversarial settings: Byzantine gradient descent, POMACS sourceExperimental — accuracy not yet measured
The citation [224] is attached to the claim that few results address how record-linkage errors affect model training. The paper’s Abstract (page not provided) concerns Byzantine faults in distributed learning, not record linkage. Searches for record linkage and erroneous matches found no passage addressing that claim. (LLM, conf=0.76)
- Not matchedcites [224] Bogdanov
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Several of these problems relate to previous work on multiple-source adaptation and agnostic federated learning [329, 330, 234, 352].”
What the sources say
- Could not verifycites [329] Wahby sourceExperimental — accuracy not yet measured
The Related work section (p. 2) discusses cryptographic commitment schemes, while §6.2 (p. 9) discusses sharing witness elements in data-parallel proofs. Searches for “multiple-source adaptation,” “agnostic federated learning,” and related terms found no passage connecting this paper to the cited claim. (LLM, conf=0.76)
- Not matchedcites [330] Ben-Sasson
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not checked — no full text of the sourcecites [234] Goldreich source
- Could not verifycites [352] Papernot, 2020, Tempered sigmoid activations for deep learning with differential privacy sourceExperimental — accuracy not yet measured
The Introduction (p. 1) and Conclusions (p. 8) discuss differentially private training and activation functions, not multiple-source adaptation or agnostic federated learning. Searches for both terms found no passage in our copy addressing the claimed relationship. (LLM, conf=0.76)
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources support only part of this claim — read each source’s verdict below.
In the paper
“Consequently, a wider set of ideas related to error-correction such as [311, 405, 463, 444, 263, 435] are relevant in this setting, many of which could address both (a) and (b).”
What the sources say
- Not matchedcites [311] Avent
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [405] Blanchard
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [463] Dwork
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [444] Chen
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [263] Chan
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Supportedcites [435] Xie, 2019, Zeno++: Robust asynchronous SGD with arbitrary number of Byzantine workers source
The citation is one of several examples offered for a wider set of error-handling ideas, rather than an attribution that Zeno++ itself compresses both gradients and model broadcasts. Section 4.1 (p. 3) describes its method for filtering harmful candidate gradients, supporting its identification as an example of such an idea. (LLM, conf=0.84)
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Not matched
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Caldas et al. [95] proposed a practical method by constraining the desired model update such that only particular submatrices of model variables are necessary to be available on clients;”
What the sources say
- Could not verifycites [95] Cotter, 2011 sourceExperimental — accuracy not yet measured
The Introduction (p. 1) describes mini-batch gradient updates, and the Preliminaries (p. 3) describe stochastic and accelerated gradient methods. Neither addresses Caldas et al. or a method that limits client access to particular submatrices; searches for those terms and for constrained model updates found no supporting passage in our copy. (LLM, conf=0.76)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Hamer et al. [219] proposed a communication-efficient federated algorithm for learning mixture weights on an ensemble of pre-trained models, based on communicating only a subset of the models to any one device;”
What the sources say
- Could not verifycites [219] Bittau sourceExperimental — accuracy not yet measured
The passages in §3.2 (Encoder) concern fragmenting user data for privacy, while §5.5 (Flix: Collaborative Filtering) concerns collecting movie-rating statistics. Searches for Hamer’s proposed algorithm and for sending only a subset of models to each device found no passage about learning mixture weights over pre-trained models. (LLM, conf=0.78)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The sources with a verdict support this claim; the rest weren’t checked yet, have no full text we could read, or their verdicts aren’t rated yet.
In the paper
“Much of the existing literature applies to the objective (a) [282, 440, 281, 17, 235, 55].”
What the sources say
- Could not verifycites [282] Patel sourceExperimental — accuracy not yet measured
The cited paper’s Discussion (section 6.1; page unavailable) concerns communication costs in private information retrieval, not gradient compression. Searches for “gradient compression” and related optimization terms found no passage addressing the attributed claim. (LLM, conf=0.76)
- Could not verifycites [440] Engstrom, 2017, A rotation and a translation suffice: Fooling CNNs with simple transformations sourceExperimental — accuracy not yet measured
The Related Work section (p. 3) discusses adversarial rotations and translations, while Section 3 (p. 4) discusses gradients used to optimize those transformations. Neither passage addresses gradient compression or whether much of the existing literature applies to it (searched: “gradient compression” and related terms). (LLM, conf=0.76)
- Not checked — no full text of the sourcecites [281] Kadhe source
- Not matchedcites [17] Apple , Designing for privacy (video and slide deck), Apple WWDC, https://developer.apple.com/videos/play/wwdc2019/708, 2019.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [235] Nikolaenko
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Supportedcites [55] Reisizadeh, 2019, Robust and communication-efficient collaborative learning source
The Introduction (p. 2) describes communication-efficient distributed optimization as an established research area and identifies several existing gradient-compression methods. That supports the citing sentence’s broad point that substantial existing literature addresses gradient compression. (LLM, conf=0.85)
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Thanks to both theoretical and engineering breakthroughs, the field has moved from being of a purely theoretical interest to a deployed technology in industry [78, 77, 295, 27, 191, 242, 243].”
What the sources say
- Could not verifycites [78] Gupta, 2018, Distributed learning of deep neural network over multiple agents sourceExperimental — accuracy not yet measured
The Related Work section discusses secure computation and notes that some methods are impractical at scale. The Datasets and Implementation section describes the authors’ own protocol, but no passage found says that secure multi-party computation has progressed from theoretical interest to deployment in industry (searched for that transition and industrial applications). Page numbers are unavailable in our copy. (LLM, conf=0.73)
- Could not verifycites [77] Ma sourceExperimental — accuracy not yet measured
The Conclusion and §5.3 Implementation Details describe a differentially private tensor-factorization method tested on datasets using AWS instances. Searches for secure multi-party computation and industrial deployment found no passage in our copy addressing the claimed shift from theory to deployed industry technology. (LLM, conf=0.76)
- Not matchedcites [295] Ding
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources support only part of this claim — read each source’s verdict below.
In the paper
“This topic has received a lot of attention in the broader ML community [220, 138, 509, 309, 362, 74], but these methods either do not have a straightforward mapping to federated learning, or make the training process more complex which makes it difficult to adopt.”
What the sources say
- Not matchedcites [220] NSA , Defense in depth: A practical strategy for achieving Information Assurance in today’s highly networked environments, 2012. [Online]. Available: https://apps.nsa.gov/iaarchive/library/ia-guidance/archive/defense-in-depth.cfm.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [138] Khodak
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not checked — no full text of the sourcecites [509] Annas, 2003, HIPAA regulations - a new era of medical-record privacy?, NEJM source
- Partly supportedcites [309] Ghazi, 2019, On the power of multiple anonymous messages sourceExperimental — accuracy not yet measured
The Related Work section (p. 11) describes substantial research on shuffled differential privacy, supporting the claim that the topic has received attention. The Conclusion (p. 58) says extending the paper’s protocols to sparse SGD updates remains future work, which supports a limited claim about their applicability to ML training. The paper does not establish that the cited methods generally lack a straightforward mapping to federated learning or make training more complex and difficult to adopt. (LLM, conf=0.78)
- Not matchedcites [362] Haeberlen
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not checked — no full text of the sourcecites [74] Yu, 2020, A sustainable incentive scheme for federated learning, IEEE Intelligent Systems source
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
- Not matched
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“TEEs can provide several crucial facilities for establishing trust that a unit of code has been executed faithfully and privately [437]:”
What the sources say
- Could not verifycites [437] Koh, 2018, Stronger data poisoning attacks break data sanitization defenses sourceExperimental — accuracy not yet measured
The Defenses section discusses trusted training data, not trusted execution environments. Searches for TEE, enclaves, confidentiality, integrity, and attestation found no passage in our copy addressing the claimed facilities; page numbers were not available. (LLM, conf=0.76)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Could not verify
The cited sources support only part of this claim — read each source’s verdict below.
In the paper
“We note that several recent works allow biased estimators and would work nicely with Laplacian noise [435], however those would not give differential privacy, as they break independence between rounds.”
What the sources say
- Partly supportedcites [435] Xie, 2019, Zeno++: Robust asynchronous SGD with arbitrary number of Byzantine workers sourceExperimental — accuracy not yet measured
The Model (p. 3) permits Byzantine workers to submit gradient estimators with arbitrary values, supporting the point that the method can handle biased estimators. Our copy does not discuss Laplacian noise or establish that the method would work well with it. The differential-privacy conclusion follows the citation and is not treated here as a claim attributed to this source. (LLM, conf=0.76)
Strength:hedged· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Partly supported
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“However usually in information theory, the compression guarantees are instance specific and depend on the entropy of the underlying distribution [140].”
What the sources say
- Could not verifycites [140] Sim, 2019, Personalization of end-to-end speech recognition on mobile devices for named entities sourceExperimental — accuracy not yet measured
Section 3.2.2 discusses a Fisher-information-based regularizer for personalizing speech-recognition models, not information-theoretic compression guarantees. A search for entropy, compression, and distribution-dependent guarantees found no passage in our copy addressing the claim; page numbers were unavailable. (LLM, conf=0.76)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Potential solutions to address this challenge include federated distillation (FD), in which workers exchange their model output parameters (logits) as opposed to the model parameters (gradients and/weights), and optimizing workers' scheduling policy with appropriate communication and computing resources [248, 368, 402].”
What the sources say
- Could not verifycites [248] Sathya, 2018, A review of homomorphic encryption libraries for secure computation sourceExperimental — accuracy not yet measured
The Applications section (p. 8) discusses computation on confidential distributed datasets, and the Conclusion (p. 9) discusses sharing ciphertexts for collaborative computation. Neither addresses federated distillation, exchanging logits instead of model parameters, or optimizing workers’ scheduling. Searches for those terms in our copy found no supporting passage. (LLM, conf=0.75)
- Not matchedcites [368] Cummings
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Could not verifycites [402] Szegedy, 2013, Intriguing properties of neural networks sourceExperimental — accuracy not yet measured
The passages in §4.2 (pp. 5–8) concern adversarial examples and their generalization across neural networks, not federated learning. Searches for federated distillation, workers exchanging logits, and scheduling with communication or computing resources found no passage addressing the attributed solutions. (LLM, conf=0.78)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Could not verify
Every source the paper cites for this claim was checked and supports it.
In the paper
“There is some work on adding discrete noise [9], but there is no notion whether such methods are optimal.”
What the sources say
- Supportedcites [9] Erlingsson source
The citation supports the first clause: RAPPOR describes adding randomness to binary reports through permanent and instantaneous randomized response (sections 2 and 3; page unavailable). The statement about whether such methods are optimal is the citing authors’ uncited qualification, not a finding attributed to RAPPOR. (LLM, conf=0.88)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Supported
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Succinct non-interactive zero-knowledge proofs (SNARKs) [71] are a type of ZKP that provides constant proof size and verification that depends only on the input size, linearly.”
What the sources say
- Could not verifycites [71] Ludwig, 2020, IBM federated learning: An enterprise framework white paper V0.1 sourceExperimental — accuracy not yet measured
Section 4.3 (pp. 11–12) discusses secure multi-party computation and differential privacy, but not SNARKs. Searches for SNARK proof size and zero-knowledge verification found no passage addressing constant proof size or verification time linear in input size. (LLM, conf=0.76)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Most existing SNARK constructions leverage quadratic arithmetic programs [196, 369, 136] and are now available in open-source libraries, such as libsnark [307], and deployed in cryptocurrencies, such as Zcash [62].”
What the sources say
- Not matchedcites [196] Vogels
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [369] Cummings
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [136] Finn
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Could not verifycites [307] Ghazi, 2019, Scalable and differentially private distributed aggregation in the shuffled model sourceExperimental — accuracy not yet measured
The Introduction (p. 1) and related-work discussion (pp. 2–3) address differentially private aggregation in the shuffled model, not SNARK constructions. Searches for quadratic arithmetic programs, libsnark, and Zcash found no passage in our copy addressing the attributed claim. (LLM, conf=0.76)
- Not matchedcites [62] McMahan
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Not matched
The cited sources support only part of this claim — read each source’s verdict below.
In the paper
“MPC approaches to PIR break down into two main categories: computational PIR (cPIR), in which a single party can execute the entire server side of the protocol [286], and information theoretic PIR (itPIR), in which multiple non-colluding parties are required to execute the server side of the protocol [121].”
What the sources say
- Partly supportedcites [286] Bitar sourceExperimental — accuracy not yet measured
Split into 2 atoms — 1 confirmed, 1 partially supported, 0 disputed, 0 misattributed, 0 unverifiable. Expand the claim to see per-atom verdicts.
- Could not verifycites [121] Reddi, 2020, Adaptive federated optimization sourceExperimental — accuracy not yet measured
Split into 2 atoms — 0 confirmed, 0 partially supported, 0 disputed, 0 misattributed, 2 unverifiable. Expand the claim to see per-atom verdicts.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Partly supported
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“TEEs have been instantiated in many forms, including Intel's SGX-enabled CPUs [241, 134], Arm's TrustZone [28, 22], and Sanctum on RISC-V [135], each varying in its ability to systematically offer the above facilities.”
What the sources say
- Not matchedcites [241] Brakerski
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Could not verifycites [134] Mansour, 2020, A theory of multiple-source adaptation with limited target labeled data sourceExperimental — accuracy not yet measured
Split into 2 atoms — 0 confirmed, 0 partially supported, 0 disputed, 0 misattributed, 2 unverifiable. Expand the claim to see per-atom verdicts.
- Could not verifycites [28] Ryffel, 2018, A generic framework for privacy preserving deep learning sourceExperimental — accuracy not yet measured
Split into 2 atoms — 0 confirmed, 0 partially supported, 0 disputed, 0 misattributed, 2 unverifiable. Expand the claim to see per-atom verdicts.
- Not matchedcites [22] Feature Cloud , Feature Cloud: Our vision, 2019. [Online]. Available: https://featurecloud.eu/about/our-vision/. Retrieved Aug. 2019.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not checked — no full text of the sourcecites [135] Baxter, 2000, A model of inductive bias learning, J. Artif. Intell. Res. source
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Not matched
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“LDP has been deployed effectively to gather statistics on popular items across large userbases by Google, Apple and Microsoft [177, 154, 155].”
What the sources say
- Could not verifycites [177] Konečný, 2016, Federated learning: Strategies for improving communication efficiency sourceExperimental — accuracy not yet measured
The Introduction (p. 1) discusses federated learning on user devices, and Experiments (p. 4) describes simulations using Reddit data. Searches for local differential privacy, popular-item statistics, and deployment by Google, Apple, or Microsoft found no passage in our copy addressing the attributed claim. (LLM, conf=0.76)
- Not matchedcites [154] Patrini
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not checked — no full text of the sourcecites [155] King, 1995, StatLog: Comparison of classification algorithms on large real-world problems, Appl. Artif. Intell. source
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“The state-of-the-art model for quantifying and limiting information disclosure about individuals is differential privacy (DP) [167, 164, 165]”
What the sources say
- Could not verifycites [167] Liu, 2018, DARTS: Differentiable architecture search sourceExperimental — accuracy not yet measured
The abstract (p. 1) and Section 2 (p. 2) describe differentiable neural architecture search, not differential privacy. Searches for “differential privacy,” “information disclosure,” and “privacy” found no passage in our copy addressing the attributed claim. (LLM, conf=0.77)
- Not matchedcites [164] Thakkar, 2019, Differentially private learning with adaptive clipping
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [165] Bello
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“shuffling models of differential privacy can use broader classes of local randomizers, and can even select these local randomizers adaptively [178]”
What the sources say
- Could not verifycites [178] Acharya, 2020, Inference under information constraints I: Lower bounds from chi-square contraction, IEEE Trans. Inform. Theor. sourceExperimental — accuracy not yet measured
The Introduction (pp. 3–5) describes locally differentially private channels and randomized channel selection by players, but does not discuss a shuffling model. Searches for shuffling and adaptive selection found no passage addressing whether shuffling permits broader classes of local randomizers or their adaptive selection. (LLM, conf=0.76)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“This can enable differentially private protocols with far smaller error than what is possible in the local model, while relying on weaker trust assumptions than in the central model, e.g., [120, 178, 45, 201, 204, 200, 202, 203, 110].”
What the sources say
- Could not verifycites [120] McMahan, 2010, Adaptive bound optimization for online convex optimization sourceExperimental — accuracy not yet measured
The Introduction (p. 1) discusses adaptive regret bounds, and Related work (p. 16) discusses online convex optimization. Searches for shuffling, differential privacy, local and central models, and trust assumptions found no passage addressing the claimed error or trust comparison. (LLM, conf=0.76)
- Could not verifycites [178] Acharya, 2020, Inference under information constraints I: Lower bounds from chi-square contraction, IEEE Trans. Inform. Theor. sourceExperimental — accuracy not yet measured
The Introduction (p. 3) defines locally differentially private channels, and the Summary of our techniques (p. 11) discusses bounds under LDP constraints. Neither passage addresses shuffling, its error relative to the local model, or its trust assumptions relative to the central model; searches for those terms found no supporting passage in our copy. (LLM, conf=0.74)
- Could not verifycites [45] He, 2019, Central server free federated learning over single-sided trust social networks sourceExperimental — accuracy not yet measured
The Introduction (p. 1) describes decentralized exchange of local models under single-sided trust, and Privacy Protection (p. 6) discusses potential reductions in privacy leakage. Neither passage addresses model shuffling, differentially private protocols, or an error comparison with the local model; searches for those terms found no supporting passage in our copy. (LLM, conf=0.75)
- Not matchedcites [201] Oktay, 2019, Model compression by entropy penalized reparameterization
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [204] Wu
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [200] Lin
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Could not verifycites [202] Zhu, 2017, To prune, or not to prune: Exploring the efficacy of pruning for model compression sourceExperimental — accuracy not yet measured
The Discussion (p. 9) concerns neural-network pruning, compression, and accuracy, not privacy protocols. Searches for shuffling, differential privacy, and the local and central models found no passage addressing the claimed error or trust-assumption comparison. (LLM, conf=0.78)
- Not matchedcites [203] Cover, 2012
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [110] Wang
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Could not verify
The cited sources support only part of this claim — read each source’s verdict below.
In the paper
“Privacy and security protocols are notoriously difficult to implement correctly (e.g., [345, 217] for differential privacy).”
What the sources say
- Supportedcites [345] McMahan, 2018, A general approach to adding differential privacy to iterative training procedures source
The citation offers differential privacy as an example of a protocol that is difficult to implement correctly. The Introduction (p. 2) says privacy calculations must be isolated and well tested to prevent bugs from producing errors in the privacy guarantee; Section 8 (p. 6) describes the high burden of implementation and leaves a provable floating-point implementation of DP-SGD as an open task. (LLM, conf=0.88)
- Could not verifycites [217] Lalitha, 2019, Decentralized Bayesian learning over graphs sourceExperimental — accuracy not yet measured
The Introduction (p. 1) says privacy concerns restrict sharing raw data in decentralized learning, but it does not discuss whether privacy or security protocols are difficult to implement correctly. Searches for implementation difficulty and differential privacy found no passage addressing that claim. (LLM, conf=0.76)
Strength:boosted· not yet calibratedTests✓ Asserted: passes✗ Checkable: fails✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. It may be too vague to check against evidence. The paper’s conclusions may not depend on it.
- Supported
The cited sources support only part of this claim — read each source’s verdict below.
In the paper
“While recent works [47, 257] suggest that these constraints can be simultaneously achieved”
What the sources say
- Partly supportedcites [47] Yu, 2018, Distributed learning over unreliable networks sourceExperimental — accuracy not yet measured
The Abstract (p. 1) and Problem Setup (p. 4) support robustness to dropped network messages during distributed learning, not to users becoming unavailable or dropping out. They do not support self-accounting, local participation decisions, or a privacy–utility trade-off, let alone achieving all these constraints simultaneously. (LLM, conf=0.85)
- Not matchedcites [257] Costan
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:hedged· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Partly supported
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Prior work has explored a number of avenues to mitigate this trade-off between privacy and accuracy, including collecting more private data [338], designing privacy-friendly model architectures [367], or leveraging priors on the private data domain [449].”
What the sources say
- Could not verifycites [338] Carlini, 2020, Extracting training data from large language models sourceExperimental — accuracy not yet measured
The citation [338] is attached to “collecting more private data,” not to the other strategies in the sentence. Section 8 (p. 12) discusses the privacy–utility trade-off and recommends filtering sensitive content from training data, but does not describe collecting more private data to mitigate that trade-off. Searches for that strategy and for using larger datasets found no supporting passage. (LLM, conf=0.73)
- Could not verifycites [367] Riazi, 2019, HEAX: High-performance architecture for computation on homomorphically encrypted data in the cloud sourceExperimental — accuracy not yet measured
The citation [367] is attached to “designing privacy-friendly model architectures.” The introduction (p. 1) discusses encrypted neural-network inference, while the abstract and conclusion (pp. 1, 13) describe HEAX as hardware for accelerating homomorphic encryption. Our copy does not describe designing a machine-learning model architecture to mitigate a privacy–accuracy trade-off; searches for that trade-off and for model accuracy found no supporting passage. (LLM, conf=0.75)
- Could not verifycites [449] Shafahi, 2019, Adversarial training for free sourceExperimental — accuracy not yet measured
The Contributions section (p. 2) describes faster adversarial training and robustness against attacks, not a privacy–accuracy trade-off. Searches for private-data collection, privacy-friendly architectures, and data-domain priors found no passage addressing the attributed claim; the paper's mention of differential privacy is only in a reference (p. 11). (LLM, conf=0.77)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Progress here could be made both by algorithmic advances as well as through the development of more efficient hardware accelerators for MPC [393].”
What the sources say
- Could not verifycites [393] Kearns, 2015, Privacy for the protected (only), CoRR sourceExperimental — accuracy not yet measured
The Algorithmic Framework (pp. 6–8) describes privacy-preserving search of social networks, and the Experimental Evaluation (pp. 9–10) compares its private and non-private algorithms. Searches for MPC, multiparty computation, hardware accelerators, and algorithmic advances found no passage about improving MPC performance by either route. (LLM, conf=0.76)
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“While LDP protocols are effective at enforcing privacy and have theoretical justifications [177, 154, 155]”
What the sources say
- Could not verifycites [177] Konečný, 2016, Federated learning: Strategies for improving communication efficiency sourceExperimental — accuracy not yet measured
The Introduction (pp. 1–2) discusses keeping training data on devices and mentions cryptographic protocols that prevent inspection of individual updates. Searches for LDP, local differential privacy, privacy guarantees, and theoretical justification found no passage addressing whether LDP protocols are effective or theoretically justified. (LLM, conf=0.76)
- Not matchedcites [154] Patrini
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not checked — no full text of the sourcecites [155] King, 1995, StatLog: Comparison of classification algorithms on large real-world problems, Appl. Artif. Intell. source
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“An actively malicious adversary controlling the server could simulate a large number of fake client devices (a 'Sybil attack' [160]) or could preferentially select previously compromised devices from the pool of available devices.”
What the sources say
- Could not verifycites [160] Pedregosa, 2016, Hyperparameter optimization with approximate gradient sourceExperimental — accuracy not yet measured
The citation is attached to the Sybil-attack example. The Introduction (p. 2) discusses hyperparameter optimization, and searches for “Sybil attack,” “fake client devices,” and “malicious server” found no passage about simulated clients. Our copy therefore does not address the cited point; the later claim about selecting compromised devices is not directly attached to this citation. (LLM, conf=0.76)
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“they are robust to clients dropping out during the execution (a common feature of cross-device FL) and scale to a large number of parties (up to billions for Bell et al. [58]) and vector lengths.”
What the sources say
- Could not verifycites [58] Cyffers, 2020, Privacy amplification by decentralization sourceExperimental — accuracy not yet measured
The introduction (p. 2) mentions secure aggregation protocols but does not describe their dropout tolerance or scalability. Section 4.3 (p. 7) says users need not remain available throughout the paper’s random-walk approach; it does not establish that secure aggregation protocols tolerate clients dropping out during execution. Searches for dropout tolerance, numbers of parties, and vector lengths found no passage supporting the attributed claim. (LLM, conf=0.76)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Could not verify
The cited sources support only part of this claim — read each source’s verdict below.
In the paper
“Instead of sending locally updated models to the server, these Byzantine clients can send arbitrary values. This can result in convergence to sub-optimal models, or even lead to divergence [76].”
What the sources say
- Partly supportedcites [76] Kim sourceExperimental — accuracy not yet measured
Section 4.3.2 describes hospitals sending locally updated factor matrices to the server. But the paper’s privacy analysis (§4.5) assumes an honest-but-curious adversary; our copy does not address Byzantine clients sending arbitrary values or whether that causes sub-optimal convergence or divergence. Page numbers are unavailable in our copy. (LLM, conf=0.82)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- The authors state this as an assumption: The adversary directly manipulates model updates throughout Section 5.1.2.
- The authors state this as an assumption: The adversary (or adversaries) directly control some number of clients and can directly alter the outputs of these clients to bias the learned model towards their objective.
- Partly supported
The cited sources support only part of this claim — read each source’s verdict below.
In the paper
“Examples of adversarial attacks include data poisoning [69, 319], model update poisoning [44, 67], and model evasion attacks [441, 69, 211].”
What the sources say
- Supportedcites [69] Liu, 2020, Backdoor attacks and defenses in feature-partitioned collaborative learning source
The citation is offered as an example of model update poisoning. In the Threat Model (p. 2), the paper says the attacker can modify local updates, including weights and gradients, and describes its attack as poisoning gradients and model updates. (LLM, conf=0.92)
- Not matchedcites [319] Schnorr
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [44] Tang
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Could not verifycites [67] Liu, 2020, A secure federated transfer learning framework, IEEE Intelligent Systems sourceExperimental — accuracy not yet measured
The security definition (p. 2) assumes honest-but-curious parties, and the Security Analysis (p. 4) says the protocol does not address malicious parties. Searches for poisoning and evasion found no passage in our copy identifying data poisoning, model-update poisoning, or model evasion as examples of adversarial attacks. (LLM, conf=0.74)
- Not matchedcites [441] Kang, 2019, Testing robustness against unforeseen adversaries
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Partly supportedcites [211] Park, 2018, Wireless network intelligence at the edge, CoRR sourceExperimental — accuracy not yet measured
The EVT Applications passage (p. 15) discusses adversarial inputs to a classifier, consistent with evasion attacks. The Blockchained Training passage (p. 18) describes malicious devices disrupting training and cross-validation of exchanged model information. Our copy does not identify data poisoning or explicitly present the three attack types as a taxonomy. (LLM, conf=0.76)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Supported
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“attacks on the training phase can be used as a stepping stone towards inferencetime attacks [319, 67], and (b) many defenses against inference-time attacks are implemented during training.”
What the sources say
- Not matchedcites [319] Schnorr
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Could not verifycites [67] Liu, 2020, A secure federated transfer learning framework, IEEE Intelligent Systems sourceExperimental — accuracy not yet measured
The citation is attached to the claim that training-phase attacks can lead to inference-time attacks. The Security Analysis (pp. 3–4) discusses protections during training and a possible malicious input at inference, but does not connect a training-phase attack to a later inference-time attack. A search for that connection and for inference-time defenses implemented during training found no supporting passage. (LLM, conf=0.76)
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
- Not matched
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Recent work on data privacy, notably differential privacy (DP) [167], defines privacy in terms of robustness.”
What the sources say
- Could not verifycites [167] Liu, 2018, DARTS: Differentiable architecture search sourceExperimental — accuracy not yet measured
The Abstract (p. 1) and Section 2 (p. 2) describe differentiable architecture search, not differential privacy. Searches for differential privacy, robustness, and privacy guarantees found no passage in our copy addressing the claimed definition. (LLM, conf=0.78)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“In the black-box setting, models have also been shown to be vulnerable to attacks based on query-access to the model [113, 90] or based on substitute models trained on similar data [441, 366, 452].”
What the sources say
- Could not verifycites [113] T. Li , A. K.Sahu, M.Zaheer, M.Sanjabi, A.Talwalkar, and V.Smith, Federated optimization in heterogeneous networks, 2018. [Online]. Available: https://arxiv.org/abs/1812.06127. sourceExperimental — accuracy not yet measured
The paper’s Introduction (p. 1) mentions privacy as a challenge in federated learning, while Experimental Details (p. 7) describes tests of FedProx under data heterogeneity. Searches for black-box attacks, query access, and substitute models found no passage addressing the claimed vulnerabilities. (LLM, conf=0.74)
- Not checked — no full text of the sourcecites [90] Quionero-Candela, 2009 source
- Not matchedcites [441] Kang, 2019, Testing robustness against unforeseen adversaries
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“An adversary could use targeted attacks to create vulnerabilities to specific types of adversarial examples [115, 214] or use untargeted attacks to degrade the effectiveness of adversarial training.”
What the sources say
- Could not verifycites [115] A. Khaled , K.Mishchenko, and P.Richtárik, First analysis of local GD on heterogeneous data, 2019. [Online]. Available: https://arxiv.org/abs/1909.04715. sourceExperimental — accuracy not yet measured
The cited work’s Introduction (pp. 1–2) discusses local gradient descent and federated learning, not targeted attacks or vulnerabilities to adversarial examples. Searches for targeted attacks and for untargeted attacks affecting adversarial training found no passage addressing either point. (LLM, conf=0.77)
- Could not verifycites [214] Elgabli, Harnessing wireless channels for scalable and privacy-preserving federated learning sourceExperimental — accuracy not yet measured
Section IV (Privacy Analysis; page unavailable) discusses model-inversion and membership attacks on local model updates, not targeted attacks that create vulnerabilities to particular adversarial examples. Searches for targeted adversarial examples and for untargeted attacks on adversarial training found no passage addressing either point. The citation is attached to the targeted-attacks clause. (LLM, conf=0.74)
Strength:hedged· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Recent work by Bhagoji et al. [67] suggests that data poisoning may be weaker, especially in settings with limited participation rate (see Table 11).”
What the sources say
- Could not verifycites [67] Liu, 2020, A secure federated transfer learning framework, IEEE Intelligent Systems sourceExperimental — accuracy not yet measured
The security definition (p. 2) assumes honest-but-curious parties, and the Security Analysis (p. 4) says the protocol does not address malicious parties. Searches for data poisoning, model-update poisoning, limited participation, and Bhagoji found no passage comparing the attacks or discussing participation rates. (LLM, conf=0.76)
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Such methods can be applied to both targeted and untargeted attacks, with some degree of empirical success [416].”
What the sources say
- Could not verifycites [416] Lamport, 1982, The Byzantine generals problem, ACM Trans. Program. Lang. Syst. sourceExperimental — accuracy not yet measured
The passages in “Malicious Intelligence” and “Reliable Systems” discuss faulty processors, signatures, and agreement on input values, not data sanitization. Searches for sanitization, targeted and untargeted attacks, and empirical success found no passage addressing the claim; page numbers were unavailable in our copy. (LLM, conf=0.76)
Strength:plain· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Recent work has shown that federated learning is vulnerable to both targeted and untargeted sybil attacks [190].”
What the sources say
- Could not verifycites [190] Caldas, 2018, Expanding the reach of federated learning by reducing client resource requirements sourceExperimental — accuracy not yet measured
The Introduction (pp. 1–2) and Related Work (p. 2) discuss communication costs and client resource constraints, not security attacks. Searches for sybil attacks and for malicious clients, adversarial attacks, and poisoning found no passage addressing targeted or untargeted sybil attacks. (LLM, conf=0.75)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Could not verify
The cited sources support only part of this claim — read each source’s verdict below.
In the paper
“More sophisticated approaches [296] add noise and then release the prediction with the highest probability.”
What the sources say
- Partly supportedcites [296] Pihur, 2018, Differentially-private ‘draw and discard’ machine learning, CoRR sourceExperimental — accuracy not yet measured
The DDML Client-Side Update section (p. 3) says the method adds Laplace noise to client-side model updates. But its algorithm specifies averaging model instances for prediction, not adding noise to predictions and releasing the one with the highest probability. (LLM, conf=0.86)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Partly supported
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“- PySyft [399] is a Python library for secure, private Deep Learning. PySyft decouples private data from model training, using federated learning, differential privacy, and multi-party computation (MPC) within PyTorch.”
What the sources say
- Could not verifycites [399] Bagdasaryan, 2018, How to backdoor federated learning sourceExperimental — accuracy not yet measured
Section 3 (p. 3) says OpenMined provides software for training on private data, but it does not identify or describe PySyft. Searches for PySyft and for its claimed combination of federated learning, differential privacy, MPC, and PyTorch found no passage establishing those features of PySyft; the paper discusses the techniques separately. (LLM, conf=0.76)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“While SecAgg is designed to be robust to significant numbers of dropouts [81], there is still the potential for failure.”
What the sources say
- Could not verifycites [81] Singh, 2019, Detailed comparison of communication efficiency of split learning and federated learning sourceExperimental — accuracy not yet measured
The Abstract (p. 1) and Analysis (p. 3) compare the communication efficiency of split learning and federated learning. Searches for SecAgg, secure aggregation, and dropout-related failure found no passage addressing SecAgg’s dropout tolerance or potential failure. (LLM, conf=0.76)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“- PySyft [399] is a Python library for secure, private Deep Learning. PySyft decouples private data from model training, using federated learning, differential privacy, and multi-party computation (MPC) within PyTorch.”
What the sources say
- Could not verifycites [399] Bagdasaryan, 2018, How to backdoor federated learning sourceExperimental — accuracy not yet measured
The Federated Learning section (p. 3) mentions OpenMined software for training on private data, and Experimental setup (p. 6) says the authors used PyTorch. Neither passage identifies PySyft or describes its capabilities; searches for “PySyft” and the claimed library features found no supporting passage in our copy. (LLM, conf=0.76)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“One common antipattern is that minority or marginalized social groups are under-represented in the training data, and thus the learner weights these groups less during training [258], leading to inferior quality predictions for members of these groups (e.g. [93]).”
What the sources say
- Not matchedcites [258] Tramèr
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Could not verifycites [93] Wang, 2018, Dataset distillation sourceExperimental — accuracy not yet measured
The citation [258] is attached to the claim that under-represented minority or marginalized groups receive less weight during training; the later prediction-quality claim has a separate citation. Section 2 (p. 3) mentions dataset bias generally, and Section 3.1 (p. 4) describes minibatch training, but neither addresses social-group under-representation or its effect on training weight. Searches for minority groups, under-representation, and class imbalance found no passage establishing that link. (LLM, conf=0.76)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Not matched
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“- EMNIST dataset [126] consists of 671,585 images of digits and upper and lower case English characters (62 classes). The federated version splits the dataset into 3,400 unbalanced clients indexed by the original writer of the digits/characters. The non-IID distribution comes from the unique writing style of each person.”
What the sources say
- Could not verifycites [126] Wang, 2019, Federated evaluation of on-device personalization sourceExperimental — accuracy not yet measured
The Abstract (p. 1) and §§3.2–3.3 (p. 3) describe personalization of a smartphone next-word prediction model, not EMNIST. Searches for EMNIST, 3,400 clients, and writer-indexed handwriting found no passage addressing the claimed dataset split. (LLM, conf=0.75)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Similar to the iNaturalist dataset, one can split the dataset by authors, but due to the difference in scale with iNaturalist dataset, Google Landmark Dataset provides much more diversity and creates even greater challenges to large-scale federated learning.”
What the sources say
- Could not verifycites [456] Wang, 2020, Attack of the tails: Yes, you really can backdoor federated learning sourceExperimental — accuracy not yet measured
The Experiments section describes partitioning other datasets, and the Introduction discusses federated-learning challenges generally. Searches for Google Landmark, iNaturalist, author-based partitioning, and a comparison of their diversity or scale found no passage addressing the claim in our copy. (LLM, conf=0.76)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“One can partition it by the geolocation or the author of an observation.”
What the sources say
- Could not verifycites [13] Ramaswamy, 2019, Federated learning for emoji prediction in a mobile keyboard sourceExperimental — accuracy not yet measured
Section 2 (p. 1) describes data held on users’ devices, and Section 5 (p. 3) describes Gboard training data in client caches. Neither addresses iNaturalist observations or partitioning them by geolocation or author; searches for those terms and a paraphrase found no relevant passage. (LLM, conf=0.77)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“If we partition it by the group an organism belongs to, like kingdom, phylum, etc., then the clients have totally different labels and biological closeness between two clients is already known.”
What the sources say
- Could not verifycites [13] Ramaswamy, 2019, Federated learning for emoji prediction in a mobile keyboard sourceExperimental — accuracy not yet measured
Sections 4 and 5 (p. 3) describe Gboard text and emoji data stored on client devices, not iNaturalist data. Searches for iNaturalist, taxonomic partitioning, distinct client labels, and biological closeness found no passage addressing the claim. (LLM, conf=0.76)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“These datasets can easily be converted to numpy arrays for use in other frameworks. 11”
What the sources say
- Could not verifycites [11] Hard, 2018, Federated learning for mobile keyboard prediction sourceExperimental — accuracy not yet measured
The Introduction (p. 2) discusses datasets for training a prediction model, and Model Architecture (p. 2) says the model was trained using TensorFlow. Neither passage addresses converting datasets to NumPy arrays for use in other frameworks; searches for NumPy conversion and dataset formats found no such passage. (LLM, conf=0.75)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“- PaddleFL [36] is an open source federated learning framework based on PaddlePaddle [37]. In PaddleFL, several federated learning strategies and training strategies are provided with application demonstrations.”
What the sources say
- Not matchedcites [36] Lian
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Could not verifycites [37] Boyd, 2006, Randomized gossip algorithms, IEEE Trans. Inform. Theor. sourceExperimental — accuracy not yet measured
The paper’s Introduction (p. 1) and Conclusion (p. 21) describe randomized gossip algorithms for distributed averaging, not a federated-learning framework. Searches for PaddleFL, PaddlePaddle, and federated-learning strategies found no passage addressing the claim in our copy. (LLM, conf=0.78)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“- Clara Training Framework [125] includes the support of cross-silo federated learning based on a server-client approach with data privacy protection.”
What the sources say
- Could not verifycites [125] Almeida, 2018, DJAM: Distributed Jacobi asynchronous method for learning personal models, IEEE Signal Process. Lett. sourceExperimental — accuracy not yet measured
The DJAM overview (p. 1) describes an asynchronous method in which neighboring agents exchange models, not the Clara Training Framework. Searches for Clara, cross-silo federated learning, server-client training, and privacy protection found no passage addressing Clara or its capabilities. (LLM, conf=0.76)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“- EMNIST dataset [126] consists of 671,585 images of digits and upper and lower case English characters (62 classes). The federated version splits the dataset into 3,400 unbalanced clients indexed by the original writer of the digits/characters. The non-IID distribution comes from the unique writing style of each person.”
What the sources say
- Could not verifycites [126] Wang, 2019, Federated evaluation of on-device personalization sourceExperimental — accuracy not yet measured
Our copy discusses next-word prediction using on-device language data (3.2 Global Model Training, p. 3; 4 Experiments, p. 4). Searches for EMNIST, 671,585 images, 62 classes, and writer-indexed clients found no passage addressing the attributed dataset description. (LLM, conf=0.76)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“Another example is the Google-Landmark-v2 [456] that includes over 5 million images of more than 200 thousand different types of landmark.”
What the sources say
- Could not verifycites [456] Wang, 2020, Attack of the tails: Yes, you really can backdoor federated learning sourceExperimental — accuracy not yet measured
The Experiments section lists CIFAR-10, EMNIST, ImageNet, Sentiment140, and Reddit as the study’s datasets; the edge-dataset details describe other image sources. Searches for “Google-Landmark-v2” and the claimed image and landmark counts found no passage addressing that dataset or its size in our copy. (LLM, conf=0.76)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“- EMNIST dataset [126] consists of 671,585 images of digits and upper and lower case English characters (62 classes). The federated version splits the dataset into 3,400 unbalanced clients indexed by the original writer of the digits/characters. The non-IID distribution comes from the unique writing style of each person.”
What the sources say
- Could not verifycites [126] Wang, 2019, Federated evaluation of on-device personalization sourceExperimental — accuracy not yet measured
The Introduction (p. 1) describes a keyboard next-word prediction study, and the Experiments section (p. 3) attributes differences in users’ baseline accuracy to language style and register. Searches for EMNIST, handwriting, and writer-indexed clients found no passage addressing whether individual writing styles cause EMNIST’s non-IID distribution. (LLM, conf=0.76)
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“One example is the iNaturalist dataset 13 which consists of large numbers of observations of various organisms all over the world.”
What the sources say
- Could not verifycites [13] Ramaswamy, 2019, Federated learning for emoji prediction in a mobile keyboard sourceExperimental — accuracy not yet measured
The cited paper’s Server-based Training section (p. 3) describes Gboard text snippets, while Federated Training (p. 3) describes data cached on users’ devices. Searches for iNaturalist and organism observations found no passage in our copy addressing the claimed dataset. (LLM, conf=0.78)
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
In the paper
“Whilst most schemes are able to reach the asymptotically dominant statistical term, none are able to match the convergence rate of accelerated mini-batch SGD.”
What the sources say
- Not matchedcites Table 5
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Load-bearingStrength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“The error bound is measured by optimal objective (1) for convex functions and norm of gradient for nonconvex functions.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“All the methods in Table 6 assume smoothness or Lipschitz gradients for the local functions on clients.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“We also note that techniques (described in the following sections) which are designed to address worst-case adversarial robustness are also able to effectively address non-malicious failures.”
Causal:direct· not yet calibratedTests✗ Asserted: fails✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The authors may not put it forward as true. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Thus, the term federated learning provides a convenient shorthand for a set of characteristics, constraints, and challenges that often co-occur in applied ML problems on decentralized data where privacy is paramount.”
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✗ Checkable: fails✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. It may be too vague to check against evidence. The paper’s conclusions may not depend on it.
- Rests on an assumption: No single work directly addresses the full set of FL challenges.
In the paper
“The term federated learning was introduced in 2016 by McMahan et al. [337]”
What the sources say
- Not matchedcites [337] Carlini, 2018, The secret sharer: Measuring unintended neural network memorization and extracting secrets
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
None of the sources cited for this claim could be matched to a paper in Crossref, so there is nothing to check it against.
In the paper
“Apple is using cross-device FL in iOS 13 [25], for applications like the QuickType keyboard and the vocal classifier for 'Hey Siri' [26]”
What the sources say
- Not matchedcites [25] Musketeer , Musketeer: About, 2019. [Online]. Available: http://musketeer.eu/project/. Retrieved Aug. 2019.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [26] The TFF Authors , Tensor Flow Federated, 2019. [Online]. Available: https://www.tensorflow.org/federated.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Not matched
In the paper
“An unbalanced and non-IID (identically and independently distributed) data partitioning across a massive number of unreliable devices with limited communication bandwidth was introduced as the defining set of challenges.”
What the sources say
- Not matchedcites [337] Carlini, 2018, The secret sharer: Measuring unintended neural network memorization and extracting secrets
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
None of the sources cited for this claim could be matched to a paper in Crossref, so there is nothing to check it against.
In the paper
“Since the term federated learning was initially introduced with an emphasis on mobile and edge device applications [337, 334], interest in applying FL to other applications has greatly increased, including some which might involve only a small number of relatively reliable clients, for example multiple organizations collaborating to train a model.”
What the sources say
- Not matchedcites [337] Carlini, 2018, The secret sharer: Measuring unintended neural network memorization and extracting secrets
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [334] Eldefrawy
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:hedged· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
None of the sources cited for this claim could be matched to a paper in Crossref, so there is nothing to check it against.
In the paper
“Cryptographic methods for computing on encrypted data were developed starting in the early 1980s [396, 492]”
What the sources say
- Not matchedcites [396] Cummings, 2019, Bringing differential privacy into the experimental economics lab: Theory and an application to a public-good game
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [492] Zafar
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Many of the hardest problems are at the intersections of these areas”
Tests✓ Asserted: passes✗ Checkable: fails✓ Load-bearing: passes✓ Based: passesProbably not a substantial claim. It may be too vague to check against evidence.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Akey property of many of the problems discussed is that they are inherently interdisciplinary - solving them likely requires not just machine learning, but techniques from distributed optimization, cryptography, security, differential privacy, fairness, compressed sensing, systems, information theory, statistics, and more.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✗ Checkable: fails✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. It may be too vague to check against evidence. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
None of the sources cited for this claim could be matched to a paper in Crossref, so there is nothing to check it against.
In the paper
“They consider undirected network graphs, although the case of directed networks (encoding unidirectional channels which may arise in real-world scenarios such as social networks or data markets) has also been studied in [29, 226].”
What the sources say
- Not matchedcites [29] The Leaf Authors , Leaf, 2019. [Online]. Available: https://leaf.cmu.edu/.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [226] Furukawa
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“The cross-silo setting can be relevant where a number of companies or organizations share incentive to train a model based on all of their data, but cannot share their data directly.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“Wang et al. [469] propose MATCHA, a decentralized SGD method based on matching decomposition sampling, that reduces the communication delay per iteration for any given node topology while maintaining the same error convergence speed.”
What the sources say
- Not matchedcites Wang et al. [469]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Well-connected or denser networks encourage faster consensus and give better theoretical convergence rates, which depend on the spectral gap of the network graph.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds. It may state two separate claims as one.
None of the sources cited for this claim have been checked yet.
In the paper
“For the case with several local update steps, [467, 280] recently provided convergence analysis.”
What the sources say
- Not matchedcites [467] Kamishima
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not checked — no full text of the sourcecites [280] Ali, 2019, Communication-computation trade-offs in PIR, IACR Cryptol. ePrint Arch.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“this could discourage users from participating in the decentralized federated learning protocol, as the protection of the data is typically the primary motivating factor for FL.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
In the paper
“A practical secure aggregation protocol already used in cross-device FL was proposed by Bonawitz et al. [80], effectively handling dropping out participants at the cost of complexity of the protocol.”
What the sources say
- Not matchedcites Bonawitz et al. [80]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“These characteristics establish many of the constraints that practical federated learning systems must typically satisfy, and hence serve to both motivate and inform the open challenges in federated learning.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesProbably not a substantial claim.
In the paper
“Zantedeschi et al. [504] further learn the similarity graph together with the personalized models.”
What the sources say
- Not matchedcites Zantedeschi et al. [504]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“The server is thus a central player which also potentially represents a single point of failure.”
Strength:hedged· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“A certain degree of trust of the participating clients in a central authority would still be needed to answer these questions.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“Local updates similar to Federated Averaging (see Section 3.2) has been proposed to address the communication challenges of feature-partitioned systems [316]”
What the sources say
- Not matchedcites [316] Gennaro
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“In this setting, application of techniques such as secure multi-party computation or homomorphic encryption have been proposed in order to limit the amount of information other participants can infer from observing the training process.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“It is worth noting that even in the decentralized setting outlined above, a central authority may still be in charge of setting up the learning task.”
Strength:hedged· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Cross-device and cross-silo federated learning are two examples of FL domains, but are not intended to be exhaustive.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Denser networks typically incur communication delays which increase with the node degrees.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✗ Based: failsProbably not a substantial claim. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“In contrast with the characteristics of cross-device federated learning, see Table 1, cross-silo federated learning admits more flexibility in certain aspects of the overall design, but at the same time presents a setting where achieving other properties can be harder.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
In the paper
“This difference has been also referred to as horizontal and vertical federated learning by Yang et al. [490].”
What the sources say
- Not matchedcites Yang et al. [490]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“In the cross-silo setting, in addition to partitioning by examples, partitioning by features is of practical relevance.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“In contrast to well-shuffled mini-batches consisting of independent and identically distributed (IID) examples in centralized learning, federated learning uses local data from end user devices, leading to many varieties of non-IID data (Section 3.1).”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“However, performing more local updates saves significant communication cost and reduces the time spent per iteration.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Unlike the IID setting, we cannot necessarily assume M = N , as the client distributions are not all equal.”
Strength:hedged· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“For IID data, where each client is assumed to have a infinitely large dataset, this reduces to taking a simple average of the local models.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“However, this family of algorithms also poses several new algorithmic challenges from an optimization theory point of view.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Quantity skew or unbalancedness: Different clients can hold vastly different amounts of data.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“The original goal of federated learning, training a single global model on the union of client datasets, becomes harder with non-IID data.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✗ Based: failsProbably not a substantial claim. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Performing local updates and communicating less frequently with the central server addresses the core challenges of respecting data locality constraints and of the limited communication capabilities of mobile device clients.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Updating and averaging a larger number of client models per training round yields better convergence, but it makes the training vulnerable to slowdown due to unpredictable tail delays in computation/communication at/with the clients.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“We note that while such an assumption may be compatible with the cross-silo federated setting in Table 1, it is generally infeasible in the cross-device setting.”
Strength:hedged· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
In the paper
“An open-source platform supporting the above outlined applications is currently available as Federated AI Technology Enabler (FATE) [33].”
What the sources say
- Not matchedcites [33] Dean
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“For completeness, we note that even considering the dataset on a single device, if the data is in an insufficiently-random order, e.g. ordered by time, then independence is violated locally as well.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Sources of intra-client correlation can generally be resolved by local shuffling.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Partitioning by examples is usually relevant in cross-silo FL when a single company cannot centralize their data due to legal constraints, or when organizations with similar objectives want to collaboratively improve their models.”
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“One of the fundamental challenges in addressing these goals is the presence of non-IID data”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesProbably not a substantial claim.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“However, it is also important to note that the distribution Q and P i may change over time, introducing another dimension of 'non-IIDness'.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“However, for typical cross-device applications we might have T = 10 6 and M = 100 (Table 2), implying K = 1 .”
What the sources say
- Not matchedcites Table 2
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:hedged· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“FL settings where the total number of devices is huge (e.g. across mobile devices) necessitate algorithms that only require a handful of clients to participate per round (client sampling).”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“The existing formulation is limited to the case of 2 clients.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Optimization algorithms do not run in isolation in a production deployment, but need to be combined with other techniques like cryptographic secure aggregation protocols (Section 4.2.1), differential privacy (DP) (Section 4.2.2), and model and update compression (Section 3.5).”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Further, each device is likely to participate no more than once in the training of a given model, so stateless algorithms are necessary.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes? Based: unclearIt may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“This approach integrates naturally into the typical lifecycle of a model in federated learning (Section 1.1.1).”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“Recently, Karimireddy et al. [264] proposed a general approach for adapting centralized optimization algorithms to the heterogeneous federated setting (MIME framework and algorithms).”
What the sources say
- Not matchedcites [264] Halevi
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“Different clients are likely to use language differently, and in fact on-device personalization of model parameters has yielded significant improvements for this problem [472].”
What the sources say
- Not matchedcites [472] Sambasivan
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:hedged· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Not matched
In the paper
“As for momentum, Yu et al. [501] propose allowing each client to maintain a local momentum buffer and average the local buffers and the local model parameters at each communication round.”
What the sources say
- Not checked — no full text of the sourcecites [501] Rodríguez-Barroso, 2020, Federated learning and differential privacy: Software tools analysis, the sherpa.ai FL framework and methodological guidelines for preserving data privacy, Inform. Fusion source
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
None of the sources cited for this claim could be matched to a paper in Crossref, so there is nothing to check it against.
In the paper
“Among the existing works, [272] used an alternating direction method of multipliers (ADMM) based approach and [325] improved the efficiency with the elastic averaging SGD (EASGD) algorithm and further ensures differential privacy for the intermediate factors.”
What the sources say
- Not matchedcites [272] Kushilevitz
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [325] Ben-Sasson
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“This makes such techniques relevant for cross-silo FL applications, but harder to apply in cross-device scenarios.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
In the paper
“They refer to this problem as objective inconsistency and propose a simple technique to eliminate the inconsistency problem from federated learning algorithms.”
What the sources say
- Not matchedcites [471] Richardson, 2019, Dirty data, bad predictions: How civil rights violations impact police data, predictive policing systems, and justice
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Another approach is to reconsider the relationship between clients (local datasets) and learning tasks (models to be trained), observing that there are points on a spectrum between a single global model and different models for every client.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“In order to guarantee the convergence, they assumed that the clients are selected either uniformly at random or with probabilities that are in proportion to the sizes of local datasets.”
What the sources say
- Not matchedcites [303] Erlingsson
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesProbably not a substantial claim.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Thus, most multi-task learning algorithms assume all clients (tasks) participate in each training round, and also require stateful clients since each client is training an individual model.”
Load-bearingStrength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“These techniques are particularly relevant when faced with non-IID data (Section 3.1), since they may outperform even the best possible shared global model.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✗ Based: failsProbably not a substantial claim. The paper may give no reason why it holds.
In the paper
“Eichner et al. [171] formulated this problem and studied the convergence of semi-cyclic SGD, where multiple blocks of clients with different characteristics are sampled from following a regular cyclic pattern (e.g. diurnal).”
What the sources say
- Not matchedcites [171] Real
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Not matched
In the paper
“Although this method empirically improves the final accuracy of local SGD, this doubles the per-round communication cost.”
What the sources say
- Not checked — no full text of the sourcecites [501] Rodríguez-Barroso, 2020, Federated learning and differential privacy: Software tools analysis, the sherpa.ai FL framework and methodological guidelines for preserving data privacy, Inform. Fusion source
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Training of the global model can still proceed using only small samples of clients on each round (e.g. 100s); the broadcast of the global model to all clients (e.g. many millions) only happens once, when the model is deployed.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“FL problems, modeled by existing datasets used for simulated FL experiments (Appendix A), can serve as realistic benchmark problems for MAML algorithms.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Centralized training already requires tuning parameters like learning rate, momentum, batch size, and regularization.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“However, recent deep neural networks crucially depend on a wide range of hyperparameter choices regarding the neural network's architecture, regularization, and optimization.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✗ Based: failsProbably not a substantial claim. The paper may give no reason why it holds.
In the paper
“In particular, it appears that training models with the goal of maximizing global performance might actually hurt the model's capacity for subsequent personalization.”
What the sources say
- Not matchedcites [250] Reyzin, 2018, Turning HATE into LOVE: Homomorphic ad hoc threshold encryption for scalable MPC, IACR Cryptology ePrint Archive
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Further, these techniques often assume only a pair of domains (source and target), and so some of the richer structure of federated learning may be lost.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds. It may state two separate claims as one.
In the paper
“Additional connections with differential privacy were studied in [299].”
What the sources say
- Not matchedcites [299] Dwork
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Many challenges arise when adapting standard machine learning workflows and pipelines (including data augmentation, feature engineering, neural architecture design, model selection, hyperparameter optimization, and debugging) to decentralized datasets and resource-constrained mobile devices.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Running many rounds of training with different hyperparameters on resource-constrained mobile devices may be restrictive.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesProbably not a substantial claim.
In the paper
“Jiang et al. [250] highlighted the fact that models of the same structure and performance, but trained differently, can have very different capacity to personalize.”
What the sources say
- Not matchedcites [250] Reyzin, 2018, Turning HATE into LOVE: Homomorphic ad hoc threshold encryption for scalable MPC, IACR Cryptology ePrint Archive
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“Fallah et al. [181] developed a new algorithm called Personalized FedAvg by connecting MAML instead of Reptile to federated learning.”
What the sources say
- Not checked — no full text of the sourcecites [181] Barnes, 2020, rTop-k: A statistical estimation approach to distributed SGD source
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“This is in fact a good match for the statistical setting discussed in Section 3.1, where we sample a client (task) i ∼ Q , and then sample data for that client (task) from P i .”
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Evaluations can be expensive for large models and large-scale on-device datasets.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✗ Based: failsProbably not a substantial claim. The paper may give no reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“One approach for studying personalization and non-IID data is via a connection to meta-learning , which has emerged as a popular setting for model adaptation.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
None of the sources cited for this claim could be matched to a paper in Crossref, so there is nothing to check it against.
In the paper
“Most notably, the training phase of the popular Reptile algorithm [358] is closely related to Federated Averaging [337] - Reptile allows for a server learning rate and assumes all clients have the same amount of data, but is otherwise the same.”
What the sources say
- Not matchedcites [358] Balle
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [337] Carlini, 2018, The secret sharer: Measuring unintended neural network memorization and extracting secrets
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Not matched
In the paper
“Loss factorization tricks can be used in supervised learning to alleviate up to the vertical partition assumption itself, but the practical benefits depend on the distribution of data and the number of parties [373].”
What the sources say
- Not matchedcites [373] Douceur
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Not matched
In the paper
“The observed gap between the global and personalized acccuracy [250] creates a good argument that personalization should be of central importance to FL.”
What the sources say
- Not matchedcites [250] Reyzin, 2018, Turning HATE into LOVE: Homomorphic ad hoc threshold encryption for scalable MPC, IACR Cryptology ePrint Archive
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✗ Checkable: fails✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. It may be too vague to check against evidence. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“Neural Architecture Search (NAS) for a global or personalized model in the federated learning setting is promising, and early exploration has been made in [228].”
What the sources say
- Not checked — no full text of the sourcecites [228] Ion, 2019, On deploying secure computing commercially: Private intersection-sum protocols and their business applications, IACR Cryptology ePrint Archive
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“In addition to a higher-dimensional search space, federated learning often also requires longer wall-clock training times and limited compute resources.”
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Among these, the gradient-based method leverages efficient gradient back-propagation with weight sharing, reducing the architecture search process from over 3000 GPU days to only 1 GPU day.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“However, this constraint would typically not be present in the cross-silo FL setting, where the same clients participate repeatedly.”
Load-bearingStrength:hedged· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesProbably not a substantial claim.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“For example, the neural architecture may have some redundant component for a specific dataset, which may lead to unnecessary computing on devices; there may be a better architectural design for the nonIID data distribution.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Experienced modelers often directly inspect subsets of the data for tasks including basic sanity checking, debugging misclassifications, discovering outliers, manually labeling examples, or detecting bias in the training set.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Very few methods intend to address all of (a), (b) and (c) jointly.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“While substantial progress has been made on the federated training of models, this is only part of a complete MLworkflow.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
None of the sources cited for this claim have been checked yet.
In the paper
“Characterizing such fundamental trade-offs between accuracy and communication has been of recent interest in theoretical statistics [507, 89, 221, 7, 49, 444, 50].”
What the sources say
- Not matchedcites [507] The Google-Landmark-v2 Authors , Google landmark dataset v2, 2019. [Online]. Available: https://github.com/cvdfoundation/google-landmark.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not checked — no full text of the sourcecites [89] Moreno-Torres, 2012, A unifying view on dataset shift in classification, Pattern Recogn. source
- Not matchedcites [221] Andrew
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [7] McMahan, 2017
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not checked — no full text of the sourcecites [49] J. Wang , A.Sahu, G.Joshi, and S.Kar, “MATCHA: Speeding up decentralized SGD via matching decomposition sampling,” Preprint, May2019. [Online]. Available: https://arxiv.org/abs/1905.09435. source
- Not matchedcites [444] Chen
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [50] Lian
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Motivated by the limited resources of current devices in terms of compute, memory and communication, there are several different compression objectives of practical value.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“and because the effects of averaging across many clients can enable more aggressive lossy compression schemes.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✗ Based: failsProbably not a substantial claim. The paper may give no reason why it holds.
In the paper
“Recently, Augenstein et al. [31] proposed the use of differentially private generative models (including GANs), trained with federated learning, to answer some questions of this type.”
What the sources say
- Not matchedcites [31] N. Clara , The clara training framework authors, 2019. [Online]. Available: https://developer.nvidia.com/clara.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“There are three major methods for NAS, which utilize evolutionary algorithms, reinforcement learning, or gradient descent to search for optimal architectures for a specific task on a specific dataset.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“Another interesting paper recently published, involving Weight Agnostic Neural Networks [192], claims that neural network architectures alone, without learning any weight parameters, may encode solutions for a given task.”
What the sources say
- Not matchedcites [192] He
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✗ Asserted: fails✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The authors may not put it forward as true. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“He et al. [227] utilizes bidirectional and alternative knowledge distillation method to transfer knowledge from many compact DNNs to a dense server DNN, which can reduce the local computational burden at the edge devices.”
What the sources say
- Not checked — no full text of the sourcecites [227] Ion, 2017, Private intersection-sum protocol with applications to attributing aggregate ad conversions
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“These objectives are in most cases complementary.”
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Although these methods have not been developed for distributed settings such as federated learning, they are all feasible to be transferred to the federated setting.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds. It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“One of the primary attractions of the federated learning model is that it can provide a level of privacy to participating users through data minimization: the raw user data never leaves the device, and only updates to models (e.g., gradient updates) are sent to the central server.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“This represents a major challenge for mission-critical applications, rooted in latency reduction and reliability enhancements.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“An additional objective is to modify the training procedure such that the fi nal model is more compact, or efficient for inference.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“These model updates are more focused on the learning task at hand than is the raw data (i.e. they contain strictly no additional information about the user, and typically significantly less, compared to the raw data)”
Load-bearingStrength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✗ Based: failsProbably not a substantial claim. The paper may give no reason why it holds. It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Though various methods have been surveyed and discussed in this section, defining and dealing with non-IID data remains an open problem and one of the most active research topics in federated learning.”
Load-bearingStrength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✗ Based: failsProbably not a substantial claim. The paper may give no reason why it holds. It may state two separate claims as one.
In the paper
“It has been known for several decades that any function can be securely computed, even in the presence of malicious adversaries [208].”
What the sources say
- Not matchedcites [208] Bell
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:boosted· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“For gradient compression, some existing works [440] are developed in the minimax sense to characterize the worst case scenario.”
What the sources say
- Not checked — no full text of the sourcecites [440] Engstrom, 2017, A rotation and a translation suffice: Fooling CNNs with simple transformations
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“The existing literature in federated learning usually neglects the impact of wireless channel dynamics during model training, which potentially undermines both training latency and thus reliability of the entire production system.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes? Based: unclearIt may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Existing noise addition mechanisms assume adding real-valued Gaussian or Laplacian noise on each client, and this is not compatible with standard quantization methods used to reduce communication.”
Load-bearingStrength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
In the paper
“Bayesian neural networks [419] have been proposed and shown to be far more robust to over-fitting, and can easily learn from small datasets.”
What the sources say
- Not checked — no full text of the sourcecites [419] So source
Strength:boosted· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Efficient and effective federated learning algorithms face different challenges compared to centralized training in a datacenter.”
Load-bearingStrength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✗ Based: failsProbably not a substantial claim. The paper may give no reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“There are three privacy aspects that need to be addressed.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds. It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“In other words, if the data is easily compressible, they are provably compressed heavily.”
Strength:boosted· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Privacy is not a binary quantity, or even a scalar one.”
Load-bearingStrength:plain· not yet calibratedTests✓ Asserted: passes✗ Checkable: fails✓ Load-bearing: passes✗ Based: failsProbably not a substantial claim. It may be too vague to check against evidence. The paper may give no reason why it holds. It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Most modern deep learning models cannot represent their uncertainty nor allow for a probability interpretation of parametric learning.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds. It may state two separate claims as one.
None of the sources cited for this claim could be matched to a paper in Crossref, so there is nothing to check it against.
In the paper
“Another way around this issue is relying on distributed (or threshold) encryption schemes, where the secret key is distributed among the parties. Reyzin et al. [392] and Roth et al. [398] propose such solutions for computing summation in the cross-device setting.”
What the sources say
- Not matchedcites Reyzin et al. [392]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites Roth et al. [398]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Moreover, appealing to probabilistic reasoning, one can predict how the uncertainty can decrease, allowing the decisions made by the network to become more deterministic as the data size grows.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“To date, federated learning has primarily considered supervised learning tasks where labels are naturally available on each client.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
In the paper
“Another solution is to leverage the unique characteristics of wireless channels (e.g. broadcast and superposition) as natural data aggregators, in which the simultaneously transmitted analog-waves by different workers are superposed at the server and weighed by the wireless channel coefficients [4]. This yields faster model aggregation at the server, and faster training by a factor up to the num”
What the sources say
- Not matchedcites [4] Agrawal
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Research that simultaneously yields a compact final model, while also addressing the three objectives above, has significant potential for practical impact.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✗ Checkable: fails✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. It may be too vague to check against evidence. The paper’s conclusions may not depend on it.
In the paper
“These actors map well onto the threat models discussed elsewhere in the literature; for example, in Bittau et al. [73, Sec 3.1], where the 'encoder' corresponds to the client, the 'shuffler' generally corresponds to the server, the 'analyzer' may correspond to the server or post-processing done by the analyst.”
What the sources say
- Not matchedcites Bittau et al. [73, Sec 3.1]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:hedged· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“The Bayesian approach further offers uncertainty estimates via its parameters in form of probability distributions, thus preventing over-fitting.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Among these ZKPs provide formal cryptographic security guarantees based on mathematical hardness, while others make rely on assumption about the security of trusted hardware.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Secure shuffling can be considered an instance of Secure Aggregation where the values are multiset-singletons and the aggregation operation is multiset-sum”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“The main roadblocks to the applicability of PIR have been the following: cPIR has high computational cost [423], while the non-colluding parties setting has been difficult to achieve convincingly in industrial scenarios.”
What the sources say
- Not checked — no full text of the sourcecites [423] Baruch, 2019, A little is enough: Circumventing defenses for distributed learning
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
In the paper
“This notion of differential privacy is referred to as user-level differential privacy. It is stronger than the typically used notion of adjacency where D and D ′ differ by only one record [165], since in general one user may contribute many records (e.g. training examples) to the dataset.”
What the sources say
- Not matchedcites [165] Bello
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Each of these choices comes with different assumptions and threat models.”
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“The secure computation function can have a variety of incarnations. It could be an MPC protocol, a standard computation done on a TEE, or even a combination of the two.”
Strength:hedged· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“These attractive efficiency properties do come at the price of stronger assumptions, which is mostly inherent, and trusted setup in all existing scheme.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Current secure enclaves are limited in terms of memory and provide access only to CPU resources, that is they do not allow processing on GPUs or machine learning processors”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
In the paper
“For example, it is often necessary to structure the code running in the enclave as a data oblivious procedure, such that its runtime and memory access patterns do not reveal information about the data upon which it is computing (see for example [73]).”
What the sources say
- Not matchedcites [73] Kang
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“These LDP deployments all involve large numbers of clients and reports, even up to a billion in the case of Snap, which stands in stark contrast to centralized instantiations of DP which can provide high utility from much smaller datasets.”
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Nowadays, ZKP protocols can achieve proof sizes of hundred of bytes and verifications of the order of milliseconds regardless of the size of the statement being proved.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Furthermore, measurement/attestation typically only proves that a particular binary is running; it is up to the system architect to provide a means for proving that that binary has the desired privacy properties, potentially requiring the binary to be built using a reproducible process from open source code.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“it relies on different setups and typically makes stronger assumptions, such as access to MPC protocols”
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
In the paper
“It has also been used in federated settings for spam classifier training by Snap [378].”
What the sources say
- Not matchedcites [378] Kairouz
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Thus, there is a need for a model of differential privacy that interpolates between purely central and purely local DP. This can be achieved through distributed differential privacy, or the hybrid model, as discussed below.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesProbably not a substantial claim. It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“For example, secure aggregation or shuffling could run in TEEs and would provide differential privacy guarantees on their outputs.”
Strength:hedged· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds. It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“In cross-device FL, the number of training examples can vary drastically from one device to the other.”
Load-bearingStrength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✗ Based: failsProbably not a substantial claim. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“A key challenge here will be to force aggregation on the server before decryption, as otherwise the server may be able to learn a client's model update.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Note that SNARK systems usually require overhead on the part of the prover; in particular, the prover computation needs to be superlinear in the size of the circuit for the statement being proven.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“Recently, [320] made progress on this front by characterizing the trade-offs between accuracy and privacy for learning discrete distributions under user-level DP.”
What the sources say
- Not matchedcites [320] Damgård , On σ protocols, http://www.cs.au.dk/~ivan/Sigma.pdf, 2010.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“In a federated learning setting, TEEs and remote attestations may be particularly helpful for clients to be able to efficiently verify key functions running on the server.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“The moments accountant method works particularly well with the uniformly subsampled Gaussian mechanism.”
Strength:boosted· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
In the paper
“This 'privacy amplification via iteration' setting has been recently studied by Feldman et al. [185] for convex optimization problems.”
What the sources say
- Not checked — no full text of the sourcecites [185] Basu, 2020, Qsparse-local-SGD: Distributed SGD with quantization, sparsification, and local computations, IEEE Sel. Areas Inf. Theor. source
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“It is standardand theoretically well justified-to use the entropy to seed a cryptographically secure pseudo-random number generator (PRNG) and use the PRNG's output as needed.”
Strength:boosted· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Under the TEE model, the server portion of federated learning could run inside a TEE, with all parties (i.e., clients and analyst) verifying that the server TEE will only release the final model after the appropriate training criteria have been met.”
Strength:hedged· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“In typical federated learning systems, the model iterates (i.e., the newly updated versions of the model after each round of training) are assumed to be visible to multiple actors in the system, including the server and the clients that are chosen to participate in each round.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“In the absence of privacy concerns, the analyst could simply re-train the learned model once new data arrive, to ensure maximum accuracy at all times.”
Strength:hedged· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
None of the sources cited for this claim could be matched to a paper in Crossref, so there is nothing to check it against.
In the paper
“To track the overall privacy budget across rounds, advanced composition theorems [168, 254] or the analytical moments accountant method developed in [3, 346, 348, 474] can be used.”
What the sources say
- Not matchedcites [168] Luo
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [254] Costan, 2016, Intel SGX explained, IACR Cryptology ePrint Archive
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [3] Yao
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [346] Dwork
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [348] Mironov
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [474] Hashimoto
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“For many applications of federated learning, the analyst wishes to analyze data that arrive in a streaming fashion, and must also provide dynamically-updated learned models that are (1) correct on the data seen thus far, and (2) accurately predict future data arrivals.”
Load-bearingStrength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesProbably not a substantial claim.
In the paper
“Recently, Xie et al. [489] presented Libra, a ZKP system that achieves linear prover complexity but with increased proof size and verification time.”
What the sources say
- Not matchedcites [489] Dinh
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Providing formal ( ε, δ ) guarantees in the context of cross-device FL system can be particularly challenging because: (a) the set of all eligible users (i.e. underlying database) is dynamic and not known in advance, and (b) users participating in federate computations may drop out at any point in the protocol.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Atraining procedure may have multiple sources of non-determinism (e.g., dropout layers or an input of a generative model) but only those that are reflected in the privacy ledger must come from a cryptographically secure PRNG.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“More generally, remote attestation allows a verifier to securely measure the internal state of a remote hardware platform, and can be used to establish a static or dynamic root of trust.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Most computational devices have access only to few sources of entropy and they tend to be very low rate (hardware interrupts, on-board sensors).”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
In the paper
“though TEE capabilities are likely to improve over time, and techniques such as those presented in [447] may be able to reduce the requirements on the TEE by exporting portions of the computation outside the TEE while maintaining the attestation, integrity, and confidentiality needs of the computation as a whole.”
What the sources say
- Not matchedcites [447] Papernot
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“In particular, the device sampling procedure and the additive Gaussian noise must be drawn from a cryptographically secure PRNG for the trained model to satisfy computational differential privacy.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Another challenging open problem here is improving performance, as even state-ofthe-art systems can require quite significant computational resources to complete a single round of training in a deep neural network.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Under the MPC model, an encryption key could protect the model iterates, with the key held by the analyst, distributed in shares among the clients, or held by a trusted third party; in this setup, the key holder(s) would be required to engage in the decryption of the model parameters, and could thereby ensure that this process happens only once.”
Strength:hedged· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“To conceal the iterates from the clients, each client could run their local portion of federated learning inside a TEE providing confidentiality features (see Section 4.2.1).”
Strength:hedged· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Additional challenges arise if the model iterates should also be concealed from the server.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“With this technique, the server clips the ℓ 2 norm of individual updates, aggregates the clipped updates, and then adds Gaussian noise to the aggregate. This ensures that the iterates do not overfit to any individual user's update.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
In the paper
“Robust and efficient PRNGs based on standard cryptographic primitives exist that have output rate of gigabytes per second on modern CPUs and require a seed as short as 128 bits [401].”
What the sources say
- Not matchedcites [401] Goodfellow
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Naturally, we should get stronger differential privacy guarantees with respect to malicious analysts than we do with respect to malicious clients (because malicious clients may have access to far more information than malicious analysts).”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✗ Checkable: fails✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. It may be too vague to check against evidence. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“This would make it far easier to break the common assumption in MPC that at least a certain fraction of the devices are honest, thereby undermining the security of the protocol.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Under the TEE model, the model parameters are only accessible to a TEE on the device, as in Section 4.3.3; the primary difference being that the desired calculation is now inference instead of training.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“For example, restricting access to the model's parameters may make it more difficult for an adversary to search for vulnerabilities, such as inputs that produce unanticipated model outputs.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“central DP suffers from the need to have access to a trusted central server.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“In the cross-device FL setting, we have a server with significant computational resources and a large number of clients that (i) can only communicate with the server (as in a star network topology), and (ii) may be limited in connectivity and bandwidth.”
Load-bearingStrength:hedged· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesProbably not a substantial claim. It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Solutions where the analyst is required to participate (e.g. holding either the encryption keys or the model parameters themselves) imply additional inference latency, bandwidth costs, and connectivity requirements for the end user (e.g. the inferences would no longer be available for a device in airplane mode).”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
In the paper
“The hybrid model for differential privacy can help reduce the size of the required userbase by partitioning users based on their trust preferences.”
What the sources say
- Not matchedcites [40] Colin
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“it allows the server to see the per-round aggregates (which may still leak information)”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Common tools for statistical sampling of time series data may be brought to bear here, but must be used in conjunction with tools for privacy and tools for federation.”
Strength:hedged· not yet calibratedTests✓ Asserted: passes✗ Checkable: fails✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. It may be too vague to check against evidence. The paper’s conclusions may not depend on it. The paper may give no reason why it holds. It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“In these cases, it may be possible to establish privacy for all honest participants in the round (e.g., by attesting that secure multi-party computation protocols were followed accurately, that distributed differential privacy contributions were added secretly and correctly, etc.) even if the model updates themselves are known to or controlled by the adversary.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Even after generating data in a federated fashion, it must also be updated privately and federatedly.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Protecting a deployed model during inference is closely related to the challenge of concealing the model iterates from clients during training, as discussed in Section 4.3.3.”
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“In the dynamic data setting, synthetic data can be used repeatedly until it has become 'outdated' with respect to new data, and must be updated.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“By design, the same users are not regularly queried multiple times for updated data points, so it is difficult to collect true within-subject estimates of an individuals' data evolution over time.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds. It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“For example, a TEE-based shuffler can also be subject to a Sybil attack; if a single honest user's input is shuffled with known inputs from fake users, it will be straight forward for the adversary to identify the honest user's value in the shuffled output.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Secure multi-party computation, in addition to adding significant computation and communication overhead to each user, also does not address this risk when users are adding their own noise locally.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Again, both TEEs and MPC may be used.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“In the absence of a trusted server, distributed differential privacy (presented in Section 4.2.2) can be used to protect the privacy of participants.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“In some cases, the actor or organization developing an ML model may be motivated to restrict the ability to inspect, misuse or steal the model.”
Strength:hedged· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“Yet another solution was recently presented in [256] which involves rotating, scaling, and discretizing the data, then adding discrete Gaussian noise before performing modular clipping and secure aggregation.”
What the sources say
- Not matchedcites [256] Android trusty , Android trusty TEE, https://source.android.com/security/trusty(accessed Dec. 5, 2019).
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Note that in some cases, it may be possible to establish proof among the clients in a round that they are all executing the correct protocol, such as if secure enclaves are available on client devices and the clients are able to remotely attest one another.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“the optimal trade-offs between privacy, communication complexity and accuracy in distributed estimation with local DP have been characterized in [114], which shows that with careful encoding joint privacy and communication constraints can yield a performance that matches the optimal accuracy achievable under either constraint alone.”
What the sources say
- Not checked — no full text of the sourcecites [114] Li, 2019, Communication efficient decentralized training with multiple local updates
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“if users are already not trusting of the curator, then it may be unlikely that they will trust an intermediary approved of or created by the curator”
Tests✓ Asserted: passes✗ Checkable: fails✓ Load-bearing: passes✗ Based: failsProbably not a substantial claim. It may be too vague to check against evidence. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Other approaches include reformulating the queries such that each within-subject subquery can be answered entirely on device.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
In the paper
“Augenstein et al. [31] explore the generation of synthetic data in a federated fashion.”
What the sources say
- Not matchedcites [31] N. Clara , The clara training framework authors, 2019. [Online]. Available: https://developer.nvidia.com/clara.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“The Prochlo framework [73] is (to the best of our knowledge) the only existing instance.”
What the sources say
- Not matchedcites [73] Kang
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:hedged· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“instead of trying to degrade model performance, an adversary may instead try to infer information about other users' private data.”
Strength:hedged· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“an adversary may have a variety of different capabilities when trying to subvert the model during training.”
Strength:hedged· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“when operating at larger scale, some clients will drop out due to broken network connections or otherwise becoming temporarily unavailable.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✗ Based: failsProbably not a substantial claim. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“This requires the distributed noise generation mechanism to be robust against such dropouts and also affects scaling federated learning and analytics to larger numbers of participating clients.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“an adversary that only controls one client may be insignificant in cross-device settings, but could have enormous impact in cross-silo federated settings.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds. It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Techniques for addressing the ' what ' include data minimization and differential privacy.”
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“While the sum of independent discrete Gaussians is not a discrete Gaussian, the authors show that it is close enough and present tight DP guarantees and experimental results, demonstrating that their solution is able to achieve a comparable accuracy to central DP via continuous Gaussian noise with 16 (or less) bits of precision per value.”
What the sources say
- Not matchedcites [256] Android trusty , Android trusty TEE, https://source.android.com/security/trusty(accessed Dec. 5, 2019).
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“As we will see, federated learning enhances the potency of many attacks, and increases the challenge of defending against these attacks.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes? Based: unclearIt may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Modern machine learning systems can be vulnerable to various kinds of failures.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“While practical techniques MPC techniques for some federation-crucial functionalities have been deployed at scale, many important functionalities remain far more communication- and computation-expensive than their insecure counterparts.”
Load-bearingStrength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes? Based: unclearIt may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“In the central model of DP, the subsampled Gaussian mechanism is often used to achieve DP, and the privacy budget is tightly tracked across rounds of FL using the moments accountant method”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“In a standard distributed datacenter training process, a malicious data provider is often limited to a static attack wherein the poisoned data is supplied once before training begins.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“For this approach to provide satisfactory privacy guarantees in practice, the analyst must understand the users' privacy needs to their particular analysis task and data collection procedure.”
Strength:plain· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Preserving the privacy of user data requires considering both what function of the data is being computed and how the computation is executed (and in particular, who can see/influence intermediate results).”
Load-bearingStrength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesProbably not a substantial claim.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“While such distributions help in addressing the finite precision constraints imposed by the underlying implementation of secure shuffling/aggregation, they do not naturally benefit from the moments accountant method.”
Load-bearingStrength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“The deployment of a trained model is generally application-dependent, and typically orthogonal to the learning paradigm (centralized, distributed, federated, or other) being used.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“the problem of operating at scale when clients are likely to be intermittently available has not been systematically addressed yet in the literature.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“when deploying federated learning, communication efficiency is often a significant concern”
Load-bearingStrength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✗ Based: failsProbably not a substantial claim. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“if users do not care equally about protecting their data from all possible inferences, this may allow for relaxation of the privacy constraint to allow less noise to be added.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“while this approach is communication efficient, the server gets to observe which submodel a client selects.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
In the paper
“This approach is formalized in the Pufferfish framework of privacy [271], which allows the analyst to specify a class of protected predicates that must be learned subject to the guarantees of differential privacy, and all other predicates can be learned without differential privacy.”
What the sources say
- Not checked — no full text of the sourcecites [271] Dingledine, 2004 source
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Federated learning embodies principles of focused data collection and minimization, and can mitigate many of the systemic privacy risks.”
Strength:plain· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds. It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“security mechanisms to protect privacy in federated learning can make detecting and correcting for these failures and attacks a particularly challenging task.”
Strength:plain· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“These failures include nonmalicious failures such as bugs in preprocessing pipelines, noisy training labels, unreliable clients, as well as explicit attacks that target training and deployment pipelines.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“adversarial attacks on machine learning models attempt to modify the behavior of the model in some undesirable way.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“new attack vectors on federated training systems may be combined with novel adversarial inference-time attacks.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Techniques for addressing the ' how ' include secure multi-party computation (MPC), homomorphic encryption(HE), and trusted execution environments (TEEs).”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Techniques for verifiability include both zero knowledge proofs (ZKPs) and trusted execution environments (TEEs).”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“the distributed nature, architectural design, and data constraints of federated learning open up new failure modes and attack surfaces.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✗ Based: failsProbably not a substantial claim. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Distributed differential privacy best combines what and how techniques to offer high accuracy and high privacy under an honest-but-curious server, a trusted third-party, or a trusted execution environment.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✗ Checkable: fails✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. It may be too vague to check against evidence. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“in reality there is a kind of continuum between these goals.”
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Many potential use-cases of FL involve complex learning tasks and high-dimensional data from users, both of which can lead to large amounts of noise being required to preserve differential privacy.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Verifiability enables parties to prove that they have executed their parts of a computation faithfully.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“different attack scenarios and defense methods have varying degrees of applicability and interest, depending on the federated context.”
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“This setting is generally less relevant to federated learning: because the model is broadcast to all participants for local training, it is often assumed that an adversary has direct access to the model parameters (white box).”
Strength:hedged· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Compared to distributed datacenter learning and centralized learning schemes, federated learning mainly differs in the way in which a model is trained across a (possibly large) fleet of unreliable devices with private, uninspectable datasets; whereas inference using deployed models remains largely the same”
Load-bearingStrength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“multi-task learning strategies can be effective approaches to personalization, but may give rise to compound models wherein any particular client only uses the submodel that is associated with that client's cluster of users”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Often, clients only interact with a tiny fraction of the inventory items, and under many training strategies, the only embedding vectors for which a client's data supports updates are those corresponding to the items with which the client interacted.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“These attacks can be broadly classified into training-time attacks (poisoning attacks) and inference-time attacks (evasion attacks).”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“the development of an effective defense against white box, model update poisoning attacks would necessarily defend against any black box or data poisoning attack as well.”
Strength:hedged· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Note that in federated learning, this adaptivity is generally only interesting if the client can participate more than once throughout the training process.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Strong protection against an adversarial server remains a significant open problem for federation.”
Load-bearingStrength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✗ Based: failsProbably not a substantial claim. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Second, there are many known differentially private algorithms, and the defense can be applied to many machine learning tasks.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“However, purely detecting backdoors may be insufficient in many federated settings where we want robustness guarantees on the output model at inference time.”
Strength:plain· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
None of the sources cited for this claim have been checked yet.
In the paper
“In the white-box setting, the aforementioned perturbations can be generated by attempting to maximize the loss function subject to a norm constraint via constrained optimization methods such as projected gradient ascent [284, 328].”
What the sources say
- Not checked — no full text of the sourcecites [284] Woodruff source
- Not matchedcites [328] Bünz
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
None of the sources cited for this claim have been checked yet.
In the paper
“These are perturbed versions of test inputs which seem almost indistinguishable from the original test input to a human, but fool the trained model [70, 441].”
What the sources say
- Not checked — no full text of the sourcecites [70] Pan, 2010, A survey on transfer learning, IEEE Transactions on Knowledge and Data Engineering source
- Not matchedcites [441] Kang, 2019, Testing robustness against unforeseen adversaries
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“While black-box attacks may be more natural to consider in datacenter settings, the model broadcast step in federated learning means that the model may be accessible to any malicious client. Thus, federated learning increases the need for defenses against white-box evasion attacks.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Neither data sanitization nor network pruning work directly in federated settings, as they both generally require access to client data, or else data that resembles client data.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Non-IID data and unreliability of clients all present serious challenges and disrupt common assumptions in works on Byzantine-robust aggregation.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds. It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“For example, adversarial training can require many epochs before obtaining significant robustness.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✗ Based: failsProbably not a substantial claim. The paper may give no reason why it holds.
None of the sources cited for this claim have been checked yet.
In the paper
“Interestingly, the poisoned model updates look and (largely) behave similarly to models trained without targeted attacks, highlighting the difficulty of even detecting the presence of a backdoor.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
- The authors state this as an assumption: The adversary directly manipulates model updates throughout Section 5.1.2.
- The authors state this as an assumption: The adversary (or adversaries) directly control some number of clients and can directly alter the outputs of these clients to bias the learned model towards their objective.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“However, in federated learning, especially cross-device federated learning, each training sample may only be seen a limited number of times.”
Load-bearingStrength:hedged· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✗ Based: failsProbably not a substantial claim. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“For example, the maximum number of clients that can perform data poisoning attacks may be much higher than the number that can perform model update poisoning attacks, especially in cross-device settings.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Finally, differential privacy is known to be closed under composition, where the inputs to later algorithms are determined after observing the results of earlier algorithms.”
Strength:boosted· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“We note that there is no canonical formulation of adversarial training, and choices such as the minimax optimization problem and hyperparameters such as learning rate can significantly affect the model robustness, especially for large-scale dataset like ImageNet.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Since data poisoning attacks induce model update poisoning, any defense against Byzantine updates can also be used to defend against data poisoning.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“While differential privacy is a flexible defense against data poisoning, it also has some drawbacks. The main weakness is that noise must be injected into the learning procedure. While this is not necessarily a problem-common learning algorithms like stochastic gradient descent already inject noise-the added noise can hurt the performance of the learned model.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Just as the data access processes used in federated learning may introduce dataset shift and non-independence (Section 3.1), there is also a risk of introducing biases.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
In the paper
“- FedML [229] is a research-oriented library. It supports three platforms: on-device training for IoT and mobile devices, distributed computing, and single-machine simulation. For research diversity, FedML also supports various algorithms (e.g., decentralized learning, vertical FL, and split learning), models, and datasets.”
What the sources say
- Not matchedcites [229] Ishai
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Not matched
In the paper
“Several platforms are available or in development, including [404]:”
What the sources say
- Not matchedcites [404] Alistarh
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“One possible solution is to train generative models using federated methods with differential privacy, and then using these to synthesize new data samples that can be used to debug the underlying data pipelines [31].”
What the sources say
- Not matchedcites [31] N. Clara , The clara training framework authors, 2019. [Online]. Available: https://developer.nvidia.com/clara.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:hedged· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Non-malicious failure modes (Section 5.2) are can be especially different to deal with, as access to raw data is not available in the federated setting, though through some lens they may be related to poisoning attacks.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“- TensorFlow Federated [38] specifically targets research use cases, providing large-scale simulation capabilities as well as flexible orchestration for the control of sampling.”
What the sources say
- Not matchedcites [38] Assran
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“and b) devices with less data may be over-represented, with these devices possibly representing users who use the product less frequently.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
In the paper
“- FedML [229] is a research-oriented library. It supports three platforms: on-device training for IoT and mobile devices, distributed computing, and single-machine simulation. For research diversity, FedML also supports various algorithms (e.g., decentralized learning, vertical FL, and split learning), models, and datasets.”
What the sources say
- Not matchedcites [229] Ishai
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“While clients in cross-silo federated learning systems (see Table 1) may perform data cleaning to remove such corruptions, such processing is unlikely to occur in cross-device settings due to data privacy restrictions.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
In the paper
“- Leaf [35] provides multiple datasets (see below), as well as simulation and evaluation capabilities.”
What the sources say
- Not matchedcites [35] Vanhaesebrouck
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Differential privacy has also been studied as a defense against inference-time attacks, where the adversary may modify test examples to manipulate the learned model.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“If devices are selected for updates when plugged-in or fully charged, then model updates and evaluations computed at different times of day may be correlated with factors such as day-shift vs night-shift work schedules.”
Strength:hedged· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Data poisoning can be thought of as a failure of a learning algorithm to be robust: a few attacked training examples may strongly affect the learned model.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesProbably not a substantial claim.
In the paper
“- TensorFlow Federated [38] specifically targets research use cases, providing large-scale simulation capabilities as well as flexible orchestration for the control of sampling.”
What the sources say
- Not matchedcites [38] Assran
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“For any participating client, systems factors may cause failures at any of these steps.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“If data nodes have different amounts of data, then federated learning may weigh higher the contributions of populations which are heavy users of the product or feature generating the data.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“While non-malicious failures are generally less damaging than malicious attacks, they are potentially more common, and share common roots and complications with the malicious attacks.”
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds. It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Tension may exist when trying to simultaneously improve robustness and privacy in machine learning (Section 5.3).”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“In particular, any federated learning system still must define how raw user data is accessed and preprocessed in to training data.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“If devices are selected for updates from among the pool of eligible devices at a given time, then devices that are connected at times when few other devices are connected (e.g. night-shift or unusual time zone) may be over-represented in the aggregated output.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“In 'vanilla' federated learning, this requires no real algorithmic changes, as federated averaging can be applied to whatever clients report model updates.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Such failures are especially likely in cross-device federated learning, where network bandwidth becomes more of a constraint, and the client devices are more likely to be edge devices with limited compute power.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Accordingly, differential privacy can be viewed as both a strong and a weak defense against data poisoning-it is strong in that it is extremely general and provides worst case protection no matter the goals of the adversary, and it is weak in that the adversary must be restricted and noise must be added to the federated learning process.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
In the paper
“- FedML [229] is a research-oriented library. It supports three platforms: on-device training for IoT and mobile devices, distributed computing, and single-machine simulation. For research diversity, FedML also supports various algorithms (e.g., decentralized learning, vertical FL, and split learning), models, and datasets.”
What the sources say
- Not matchedcites [229] Ishai
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Compared to datacenter training, federated learning is particularly susceptible to non-malicious failures from unreliable clients outside the control of the service provider.”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✗ Based: failsProbably not a substantial claim. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Developing general-purpose debugging methods for machine learning that do not directly inspect raw data remains a challenge.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“- TensorFlow Federated [38] specifically targets research use cases, providing large-scale simulation capabilities as well as flexible orchestration for the control of sampling.”
What the sources say
- Not matchedcites [38] Assran
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Even if there is no explicit failure, there may be straggler clients, which take much longer to report their output than other nodes in the same round.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“Recent work has found ways to approximate the geometric median under SecAgg [379] by using a handful of SecAgg calls in a more general aggregation loop.”
What the sources say
- Not checked — no full text of the sourcecites [379] Ye, 2018, Optimal schemes for discrete distribution estimation under locally differential privacy source
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Federated learning introduces a new kind of poisoning attacks, model update poisoning (Section 5.1.2), while also being susceptible to traditional data poisoning in (Section 5.1.3).”
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Intuitively, an adversary who is only able to modify a few training examples cannot cause a large change in the distribution over learned models.”
Load-bearingStrength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✗ Based: failsProbably not a substantial claim. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“A straightforward approach is to make the predictor itself differentially private; however, this has the drawback that prediction becomes randomized, a usually undesirable feature that can also hurt interpretability.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“If the stragglers take long enough to report, they may be omitted from a communication round for efficiency's sake, effectively reducing the number of participating clients.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“They further demonstrate that the existence of adversarial examples implies the existence of edge-case backdoors, indicating that defenses for the two threats may need to be developed in tandem.”
What the sources say
- Not matchedcites [466] Kusner
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“While data pipelines in federated learning only exist within each client, there are still many potential issues said pipelines can face.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“If the update frequency depends on latency, then certain geographic regions and populations with slower devices or networks may be under-represented.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Just as with adversarial attacks, systems factors and data constraints also exacerbate non-malicious failures present in datacenter settings.”
Strength:plain· not yet calibratedCausal:direct· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“and communication and computation constraints may render previously proposed defenses impractical.”
Strength:hedged· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✗ Based: failsProbably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
In the paper
“- Fedlearner [34] is an open source federated learning framework that enables joint modeling of data distributed between institutions.”
What the sources say
- Not matchedcites [34] Abadi, 2015
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“- FATE (Federated AI Technology Enabler) [33] is an open-source project intended to provide a secure computing framework to support the federated AI ecosystem.”
What the sources say
- Not matchedcites [33] Dean
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“- IBM Federated Learning [321] is a Python-based federated learning framework for enterprise environments, which provides a basic fabric for adding advanced features.”
What the sources say
- Not checked — no full text of the sourcecites [321] Bitansky source
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“- PaddleFL [36] is an open source federated learning framework based on PaddlePaddle [37]. In PaddleFL, several federated learning strategies and training strategies are provided with application demonstrations.”
What the sources say
- Not matchedcites [36] Lian
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“While completely new datasets are always interesting, in many cases it is possible to partition existing open datasets, treating each split as a client.”
Strength:hedged· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“- Sherpa.ai Federated Learning and Differential Privacy Framework [397] is an open source federated learning and differential privacy framework which provides methodologies, pipelines, and evaluation techniques for federated learning.”
What the sources say
- Not matchedcites [397] Biggio
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“The preprocessing for EMNIST and Shakespeare are provided by the Leaf project [96], which also provides federated versions of the sentiment140 and celebA datasets.”
What the sources say
- Not matchedcites [96] Dekel, 2012, Optimal distributed online prediction using mini-batches, J. Mach. Learn. Res.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“The preprocessing for EMNIST and Shakespeare are provided by the Leaf project [96], which also provides federated versions of the sentiment140 and celebA datasets.”
What the sources say
- Not matchedcites [96] Dekel, 2012, Optimal distributed online prediction using mini-batches, J. Mach. Learn. Res.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“- Sherpa.ai Federated Learning and Differential Privacy Framework [397] is an open source federated learning and differential privacy framework which provides methodologies, pipelines, and evaluation techniques for federated learning.”
What the sources say
- Not matchedcites [397] Biggio
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“Luo et al. [322] has recently published a federated dataset for computer vision.”
What the sources say
- Not matchedcites [322] Gennaro
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“- Stackoverflow 12 dataset consists of question and answer from Stack Overflow with metadata like timestamps, scores, etc. The training dataset has more than 342,477 unique users with 135,818,730 examples. Note that the timestamp information can be helpful to simulate the pattern of incoming data.”
What the sources say
- Not matchedcites [12] Pichai, 2019, Google’s Sundar Pichai: Privacy should not be a luxury good
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“At the time of writing, three datasets are supported and we recommend researchers to benchmark on them.”
What the sources say
- Not matchedcites [38] Assran
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“- Stackoverflow 12 dataset consists of question and answer from Stack Overflow with metadata like timestamps, scores, etc. The training dataset has more than 342,477 unique users with 135,818,730 examples. Note that the timestamp information can be helpful to simulate the pattern of incoming data.”
What the sources say
- Not matchedcites [12] Pichai, 2019, Google’s Sundar Pichai: Privacy should not be a luxury good
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Not matched
In the paper
“Platforms like TensorFlow Federated [38] welcome the contribution of new datasets and may be able to provide hosting support.”
What the sources say
- Not matchedcites [38] Assran
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:hedged· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Not matched
In the paper
“Note that while TensorFlow Federated is listed under 'Software for simulation', its design includes abstractions for aggregation and broadcast, and serialization of all TensorFlow computations for execution in non-Python environments, making it suitable for use as a component in a production system.”
What the sources say
- Not matchedcites [38] Assran
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“The dataset contains more than 900 annotated street images generated from 26 street cameras and 7 object categories annotated with detailed bounding box.”
What the sources say
- Not matchedcites [322] Gennaro
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“- Stackoverflow 12 dataset consists of question and answer from Stack Overflow with metadata like timestamps, scores, etc. The training dataset has more than 342,477 unique users with 135,818,730 examples. Note that the timestamp information can be helpful to simulate the pattern of incoming data.”
What the sources say
- Not matchedcites [12] Pichai, 2019, Google’s Sundar Pichai: Privacy should not be a luxury good
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:conditional· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“The open source package TensorFlow Federated [38] supports loading decentralized dataset in a simulated environment with each client id corresponding to a TensorFlow Dataset Object.”
What the sources say
- Not matchedcites [38] Assran
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“- PyVertical [32] is a project focusing on federated learning with data partitioned by features (also referred to as vertical partitioning) in the cross-silo setting; see Section 2.2.”
What the sources say
- Not matchedcites [32] Bonawitz
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“- Flower framework [66] supports implementation and experimentation of federated learning algorithms on mobile and embedded devices with a real-world system conditions simulation.”
What the sources say
- Not checked — no full text of the sourcecites [66] Liu, 2019, A communication efficient vertical federated learning framework, CoRR source
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“- IBM Federated Learning [321] is a Python-based federated learning framework for enterprise environments, which provides a basic fabric for adding advanced features.”
What the sources say
- Not checked — no full text of the sourcecites [321] Bitansky source
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Such production-oriented federated learning platforms must address problems that do not exist in simulation such as authentication, communication protocols, encryption and deployment to physical devices or silos.”
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“Note that while TensorFlow Federated is listed under 'Software for simulation', its design includes abstractions for aggregation and broadcast, and serialization of all TensorFlow computations for execution in non-Python environments, making it suitable for use as a component in a production system.”
What the sources say
- Not matchedcites [38] Assran
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Strength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✗ Load-bearing: fails✓ Based: passesProbably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper relies on this without support.
No single work directly addresses the full set of FL challenges.
“Conversely, even since the introduction of the term federated learning, we are aware of no single work that directly addresses the full set of FL challenges.”
The paper relies on this without support.
Cross-device federated learning involves a total population size of 10^6 to 10^10 devices.
“Total population size | 10 6 - 10 10 devices”
The paper relies on this without support.
In cross-device FL, only a fraction of clients are available at any one time, often with diurnal or other variations.
“Only a fraction of clients are available at any one time, often with diurnal or other variations.”
The paper relies on this without support.
In cross-device FL, communication is often the primary bottleneck.
“Communication is often the primary bottleneck, though it depends on the task.”
The paper relies on this without support.
In cross-device FL, clients cannot be indexed directly (no use of client identifiers).
“Clients cannot be indexed directly (i.e., no use of client identifiers).”
The authors state this as an assumption.
In cross-device FL, each client will likely participate only once in a task, so generally a fresh sample of never-before-seen clients in each round of computation is assumed.
“Stateless -each client will likely par- ticipate only once in a task, so gener- ally a fresh sample of never-before-seen clients in each round of computation is assumed.”
The paper relies on this without support.
In cross-device FL, 5% or more of the clients participating in a round of computation are expected to fail or drop out.
“Highly unreliable -5%or more of the clients participating in a round of com- putation are expected to fail or drop out (e.g. because the device becomes ineli- gible when battery, network, or idleness requirements are violated).”
The paper relies on this without support.
In cross-device FL, data is fixed partitioning by example (horizontal).
“Fixed partitioning by example (horizon- tal).”
The paper relies on this without support.
In cross-silo FL, data partition is fixed and could be example-partitioned (horizontal) or feature-partitioned (vertical).
“Partition is fixed. Could be example-partitioned (horizontal) feature-partitioned (vertical).”
The paper relies on this without support.
In cross-silo FL, all clients are almost always available.
“All clients are almost always available.”
The paper relies on this without support.
In cross-silo FL, there are typically 2 to 100 clients.
“Typically 2 - 100 clients.”
The paper relies on this without support.
Clients may worry that contributing their data to training federated learning models will benefit their competitors, who do not contribute as much but receive the same final model nonetheless (the free-rider problem).
“Clients might worry that contributing their data to training federated learning models will benefit their competitors, who do not contribute as much but receive the same final model nonetheless (i.e. the free-rider problem).”
The paper relies on this without support.
In many practical scenarios, the final trained model would be released only to those who participate in the training.
“For example, in many practical scenarios, the final trained model would be released only to those who participate in the training, which makes the concerns about 'the rest of the world' less important.”
The paper relies on this without support.
The potential threat from other clients is likely to be more important than threats from the rest of the world in cross-silo FL.
“On the other hand, for a practically persuasive claim, we would usually need a notion of local differential privacy, as the potential threat from other clients is likely to be more important.”
The paper relies on this without support.
Real-world federated learning datasets likely contain a mixture of non-IID effects.
“Real-world federated learning datasets likely contain a mixture of these effects”
The paper relies on this without support.
Devices typically meet eligibility requirements at night local time (when they are more likely to be charging, on free wi-fi, and idle).
“Devices typically meet those requirements at night local time (when they are more likely to be charging, on free wi-fi, and idle)”
The paper relies on this without support.
Practitioners often care about wall-clock convergence speed.
“practitioners often care about wall-clock convergence speed.”
The paper relies on this without support.
The costs (at least in wall-clock time) are small for increasing M.
“The costs (at least in wall-clock time) are small for increasing M”
The paper relies on this without support.
At different times within a day, client characteristics can vary significantly.
“At different times within a day, the clients characteristics can vary significantly.”
The paper relies on this without support.
Clients can perform different local steps because of heterogeneity in their computing capacities.
“Clients can perform different local steps because of heterogeneity in their computing capacities.”
The paper relies on this without support.
Communication can be a primary bottleneck for federated learning because wireless links and end-user internet connections typically operate at lower rates than datacenter links and can be expensive and unreliable.
“It is now well-understood that communication can be a primary bottleneck for federated learning since wireless links and other end-user internet connections typically operate at lower rates than intra- or interdatacenter links and can be potentially expensive and unreliable.”
The paper relies on this without support.
Most modern deep learning models cannot represent their uncertainty nor allow for a probability interpretation of parametric learning.
“Most modern deep learning models cannot represent their uncertainty nor allow for a probability interpretation of parametric learning.”
The authors state this as an assumption.
For the discussion in Section 4.3, a trusted server exists.
“Section 4.3 assumes the existence of a trusted server and discusses the open problems and challenges in providing protections against adversarial clients and/or analysts.”
The paper relies on this without support.
Secure aggregation can ensure that the central server obtains the aggregated result while guaranteeing that intermediate parameters of individual devices and participants are not revealed to the central server.
“Secure aggregation can be used to ensure that the central server obtains the aggregated result, while guaranteeing that intermediate parameters of individual devices and participants are not revealed to the central server.”
The paper relies on this without support.
A secure shuffler randomly permutes reports and sends the collection of shuffled reports without identifying information to the server for final analysis.
“The shuffler randomly permutes the reports and sends the collection of shuffled reports (without any identifying information) to the server for final analysis.”
The paper relies on this without support.
TEEs provide confidentiality features that can protect computations and data inside the enclave.
“each client could run their local portion of federated learning inside a TEE providing confidentiality features”
The paper relies on this without support.
MPC techniques can provide protections similar to TEE-based concealment for federated learning.
“Similar protections can be achieved under the MPC model [351, 10].”
The paper relies on this without support.
Homomorphic encryption allows computation on encrypted model parameters without decrypting them.
“The client could then compute the encrypted model update using the homomorphic properties of the cryptosystem, without needing to decrypt the model parameters.”
The authors state this as an assumption.
The distributed DP model assumes that participating clients remain connected to the server during a round.
“The above model of distributed DP assumes that participating clients remain connected to the server during a round.”
The authors state this as an assumption.
LDP assumes that a user's privacy comes solely from that user's addition of their own randomness.
“LDP assumes that a user's privacy comes solely from that user's addition of their own randomness”
The authors state this as an assumption.
Current work on the hybrid model assumes that regardless of the user trust preference, their data comes from the same distribution.
“current work on the hybrid model typically assumes that regardless of the user trust preference, their data comes from the same distribution”
The authors state this as an assumption.
Secure Aggregation assumes a semi-honest server (only in the private key infrastructure phase).
“it assumes a semi-honest server (only in the private key infrastructure phase)”
The authors state this as an assumption.
In the centralized setup, all users' data is assumed to be held by a single entity and no communication is required.
“in the centralized setup where all the users' data is already assumed to be held by a single entity and hence no communication is required”
The authors state this as an assumption.
The adversary directly manipulates model updates throughout Section 5.1.2.
“We assume direct update manipulation throughout this section, as this strictly enhances the capability of the adversary.”
The authors state this as an assumption.
The adversary (or adversaries) directly control some number of clients and can directly alter the outputs of these clients to bias the learned model towards their objective.
“Thus, we assume that the adversary (or adversaries) directly control some number of clients, and that they can directly alter the outputs of these clients to try to bias the learned model towards their objective.”
The paper relies on this without support.
Adversaries may be more effective if they can coordinate their poisoned updates than if they each acted individually.
“Intuitively, the adversaries may be more effective if they are able to coordinate their poisoned updates than if they each acted individually.”
The paper relies on this without support.
There is a current lack of demonstrably robust training methods in the federated setting.
“Given the current lack of demonstrably robust training methods in the federated setting, this may not be a practical option.”
The paper relies on this without support.
Even if robust training techniques existed, they may be too computation-intensive for many federated learning applications.
“Moreover, even if such techniques existed, they may be too computation-intensive for many federated learning applications.”
The paper relies on this without support.
Simulations of federated learning require dealing with multiple issues that do not arise in datacenter ML research, such as efficiently processing partitioned datasets with computations running on different simulated devices, each with a variable amount of data.
“Simulations of federated learning require dealing with multiple issues that do not arise in datacenter ML research, for example, efficiently processing partitioned datasets, with computations running on different simulated devices, each with a variable amount of data.”
The paper relies on this without support.
FL research requires different metrics such as the number of bytes upload or downloaded by device, as well as the ability to simulate issues like time-varying arrival of different clients or client drop-out that is potentially correlated with the nature of the local dataset.
“FL research also requires different metrics such as the number of bytes upload or downloaded by device, as well as the ability to simulate issues like time-varying arrival of different clients or client drop-out that is potentially correlated with the nature of the local dataset.”
The paper relies on this without support.
Federated learning is adopted when the data is decentralized and typically unbalanced and not identically distributed.
“Federated learning is adopted when the data is decentralized and typically unbalanced (different clients have different numbers of examples) and not identically distributed (each client's data is drawn from a different distribution).”
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
The source backs part of the claim, not all of it — or backs it for a different population, condition or comparison.
In the citing paper
“Patient data are bound to the institution that holds them by regulation, by sovereignty, and by ethics, so a commons of raw clinical data is foreclosed; what can be pooled is learning, through the federated-averaging mechanism of McMahan et al. (2017) and the broader apparatus surveyed by Kairouz et al. (2021), in which each hospital contributes computation local to its own records and only model”
From Commons-Governed Artificial Intelligence: A Taxonomy of Collective Governance (2026) · cites this paper as Kairouz et al. (2021)
Experimental — accuracy not yet measuredThe cited source says what the claim attributes to it.
In the citing paper
“Federated learning, introduced by McMahan et al. (2017) as communication-efficient training of a shared model over decentralized data through iterative averaging of locally computed updates, and surveyed comprehensively by Kairouz et al. (2021), lets a community train a common model without centralizing either the raw data or, in principle, the compute, since each participant contributes the”
From Commons-Governed Artificial Intelligence: A Taxonomy of Collective Governance (2026) · cites this paper as Kairouz et al., 2021
The check wasn’t confident either way, so it gives no verdict — never disputed.
In the citing paper
“The application of the adaptive federated reinforcement learning approach thus can achieve high accuracy rate in attack detection (over 82%) with fast convergence rate and high learning rewards.”
From Federated Learning for Internet of Things: A Comprehensive Survey (2021) · cites this paper as [149]
Experimental — accuracy not yet measuredThe check wasn’t confident either way, so it gives no verdict — never disputed.
In the citing paper
“The application of the adaptive federated reinforcement learning approach thus can achieve high accuracy rate in attack detection (over 82%) with fast convergence rate and high learning rewards.”
From Federated Learning for Internet of Things: A Comprehensive Survey (2021) · cites this paper as [149]
Experimental — accuracy not yet measuredIn the citing paper
“FL is a collaborative ML framework to train a global statistical model without accessing edge devices' private raw data, wherein a dedicated edge server is responsible for aggregating local learning model updates and disseminating global learning model updates [34], as shown in Fig. 4 (a).”
From Edge artificial intelligence for 6g: vision, enabling technologies, and applications (2022) · cites this paper as [34]
In the citing paper
“TLS and TEEs can help mitigate some of the security and privacy concerns that remain for FL55.”
From Federated learning enables big data for rare cancer boundary detection (2022) · cites this paper as [55]
In the citing paper
“These threats include attempted extraction of training data information from intermediate and final models, model theft, and submission of poison model updates with the goal of introducing unwanted model behavior (including incentivizing the model to memorize more information about the training data in support of subsequent extraction, i.e., leakage).”
From Federated learning enables big data for rare cancer boundary detection (2022) · cites this paper as [55]
In the citing paper
“However, further research shows that federated learning also faces many security and privacy risks [7], [8], [9], [10], such as poisoning attacks [11], [12], [13], [14], [15] and privacy leakage [16], [17], [18], [19], [20], [21].”
From Poisoning attacks in federated learning: A survey (2023) · cites this paper as [7]
In the citing paper
“Some recent techniques can partially solve these privacy issues [61], however, the more secure the techniques, the lower the accuracy of the final model may be [80].”
From Handling privacy-sensitive medical data with federated learning: Challenges and future directions (2023) · cites this paper as [61]
Citations
Cites
Elements of Information Theory
Cover, T. M., & Thomas, J. A. (2001) · Wiley eBooks · doi:10.1002/0471200611 · Cited by 37,139
PyTorch: An Imperative Style, High-Performance Deep Learning Library
Paszke, A., Gross, S., Massa, F., Lerer, A., Bradbury, J., Chanan, G., Killeen, T., Lin, Z., Gimelshein, N., Antiga, L., et al. (2019) · arXiv · doi:10.48550/arxiv.1912.01703 · Cited by 31,473
Pan, S. J., & Yang, Q. (2010) · IEEE Transactions on Knowledge and Data Engineering · doi:10.1109/tkde.2009.191 · Cited by 23,387 · cited 1×
“Federated transfer learning [419] is another concept that considers challenging scenarios in which data parties share only a partial overlap in the user space or the feature space, and leverage existing transfer learning techniques [314] to build models collaboratively.”
BackgroundSelf-citationCommunication-Efficient Learning of Deep Networks from Decentralized Data
McMahan, H. B., Moore, E., Ramage, D., Hampson, S., & Arcas, B. A. Y. (2016) · arXiv · doi:10.48550/arxiv.1602.05629 · Cited by 14,215 · cited 3×
“[1]: “We term our approach Federated Learning, since the learning task is solved by a loose federation of participating devices (which we refer to as clients) which are coordinated by a central server.”
BackgroundInfluentialSelf-citationExplaining and Harnessing Adversarial Examples
Goodfellow, I. J., Shlens, J., & Szegedy, C. (2014) · arXiv · doi:10.48550/arxiv.1412.6572 · Cited by 10,381
Towards Evaluating the Robustness of Neural Networks
Carlini, N., & Wagner, D. (2017) · 2017 IEEE Symposium on Security and Privacy (SP) · doi:10.1109/sp.2017.49 · Cited by 8,859
Model-Agnostic Meta-Learning for Fast Adaptation of Deep Networks
Finn, C., Abbeel, P., & Levine, S. (2017) · arXiv · doi:10.48550/arxiv.1703.03400 · Cited by 8,512 · cited 1×
“Recently, a class of algorithms referred to as model-agnostic meta-learning (MAML) have been developed that meta-learn a global model, which can be used as a starting point for learning a good model adapted to a given task, using only a few local gradient steps [165].”
Background(2010) · Cited by 8,261
Intriguing properties of neural networks
Szegedy, C., Zaremba, W., Sutskever, I., Bruna, J., Erhan, D., Goodfellow, I., & Fergus, R. (2013) · arXiv · doi:10.48550/arxiv.1312.6199 · Cited by 8,143 · cited 4×
“attacks” to refer to attacks on model performance, not on data inference. Examples of adversarial attacks include data poisoning [63, 277], model update poisoning [42, 61], and model evasion attacks [377, 63, 186]. These attacks can be broadly classified into training-time attacks (poisoning attacks) and inference-time…”
BackgroundMethodInfluentialCalibrating Noise to Sensitivity in Private Data Analysis
Dwork, C., McSherry, F., Nissim, K., & Smith, A. (2006) · Lecture Notes in Computer Science · doi:10.1007/11681878_14 · Cited by 7,272
Flagged first, then by citations
Research works printed but not linked: 44
- McMahan, 2017, Federated learning: Collaborative machine learning without centralized training data
- Differential Privacy Team, 2017, Learning with privacy at scale, Apple Machine Learning Journal, 1
- Pichai, 2019, Google’s Sundar Pichai: Privacy should not be a luxury good
- Apple , Private federated learning (NeurIPS 2019 Expo Talk Abstract), https://nips.cc/ExpoConferences/2019/schedule?talk_id=40, 2019.
- Abadi, 2015, Tensor Flow: Large-scale machine learning on heterogeneous systems
- Tang, D2: Decentralized training over decentralized data
- Koloskova, Decentralized deep learning with arbitrary communication compression
- Jaderberg, Decoupled neural interfaces using synthetic gradients, 1627
- Wang, Adaptive communication strategies for best error-runtime trade-offs in communication-efficient distributed SGD
- He, Milenas: Efficient neural architecture search via mixed-level reformulation
- Barnes, 2020, Lower bounds for learning distributions under communication constraints via Fisher information, J. Mach. Learn. Res., 21, 1
- Han, Geometric lower bounds for distributed parameter estimation under communication constraints, 1
- Bell, Secure single-server aggregation with (poly)logarithmic overhead, 1253
- Andrew, How to generate and exchange secrets (extended abstract), 162
- Nikolaenko, Privacy-preserving ridge regression on hundreds of millions of records, 334
- Barak, 2019, Secure evaluation of quantized neural networks, IACR Cryptology ePrint Archive, 2019, 131
- 2020, Lattigo 2.0.0
- 2020, Microsoft SEAL (release 3.6)
- 2020, SHELL
- Roth, Honeycrisp: Large-scale differentially private aggregation without a trusted core, 196
- Intel, 2012, Architecture instruction set extensions programming reference
- Shi, Privacy-preserving aggregation of time-series data
- Lie, Glimmers: Resolving the privacy/trust quagmire, 94
- Sabater, 2020, Distributed differentially private averaging with improved utility and robustness to malicious parties
- Koeberl, TrustLite: A security architecture for tiny embedded devices, 10:1
- Amin, Bounding user contributions: A bias-variance trade-off in differential privacy, 263
- Feldman, Privacy amplification by iteration, 521
- Balle, Advances in Neural Information Processing Systems, 4623
- Riazi, 2019, HEAX: High-performance architecture for computation on homomorphically encrypted data in the cloud
- Cummings, Differentially private change-point detection, 10825
- Cummings, Differential privacy for growing databases, 8864
- Tramèr, Stealing machine learning models via prediction APIs, 601
- Bassily, 2020, Practical locally private heavy hitters, J. Mach. Learn. Res., 21, 1
- Cummings, 2019, Bringing differential privacy into the experimental economics lab: Theory and an application to a public-good game
- Goodfellow, Explaining and harnessing adversarial examples
- Chen, DRACO: Byzantine-resilient distributed training via redundant gradients
- Xie, Zeno: Distributed stochastic gradient descent with suspicion-based fault-tolerance, 6893
- Chen, ZOO: Zeroth order optimization based black-box attacks to deep neural networks without training substitute models, 15
- Wang, 2020, Attack of the tails: Yes, you really can backdoor federated learning
- Barocas, 2019, Fairness and Machine Learning
- Richardson, 2019, Dirty data, bad predictions: How civil rights violations impact police data, predictive policing systems, and justice
- Sambasivan, ‘privacy is not for me, it’s for those rich women’: Performative privacy practices on mobile phones by women in South Asia, 127
- Madras, Learning adversarially fair and transferable representations
- Ramage, 2020, Federated analytics: Collaborative data science without data collection
Cited by
Sorted by citations
The future of digital health with federated learning
Rieke, N., Hancox, J., Li, W., Milletarì, F., Roth, H. R., Albarqouni, S., Bakas, S., Galtier, M. N., Landman, B. A., Maier-Hein, K., et al. (2020) · npj Digital Medicine · doi:10.1038/s41746-020-00323-1 · Cited by 4,015
Text Data Augmentation for Deep Learning
Shorten, C., Khoshgoftaar, T. M., & Furht, B. (2021) · Journal Of Big Data · doi:10.1186/s40537-021-00492-0 · Cited by 1,852
A review of applications in federated learning
Li, L., Fan, Y., Tse, M., & Lin, K.-Y. (2020) · Computers & Industrial Engineering · doi:10.1016/j.cie.2020.106854 · Cited by 1,559
Federated Learning for Healthcare Informatics
Xu, J., Glicksberg, B. S., Su, C., Walker, P., Bian, J., & Wang, F. (2021) · Journal of Healthcare Informatics Research · doi:10.1007/s41666-020-00082-4 · Cited by 1,542
A Survey on Federated Learning Systems: Vision, Hype and Reality for Data Privacy and Protection
Li, Q., Wen, Z., Wu, Z., Hu, S., Wang, N., Li, Y., Liu, X., & He, B. (2023) · IEEE Transactions on Knowledge and Data Engineering · doi:10.1109/tkde.2021.3124599 · Cited by 1,407
Metadata
- Authors
- Kairouz, P., & McMahan, H. B.
- Affiliations
- Google Research, USA
- Google (United States) (US)
- Venue
- Foundations and Trends in Machine Learning
- Publisher
- Emerald
- Published
- 2021-06-23
- Volume
- 14
- Issue
- 1-2
- Pages
- 1-210
- ISSN
- 1935-8237 (ISSN-L)
- 1935-8245
- OpenAlex
- W2995022099
- Cited by
- 7,772
- References
- 451
- Citations by year
- 2026: 1786 · 2025: 1736 · 2024: 1359 · 2023: 1149 · 2022: 781 · 2021: 665
- FWCI
- 282.57
- Type
- journal article
- Language
- en
- Open access
- green
- arxiv.org
- Locations
- Foundations and Trends® in Machine Learning (publishedVersion)
- Warwick Research Archive Portal (University of Warwick) (acceptedVersion)
- arXiv (Cornell University) (submittedVersion)
- HAL (submittedVersion, other-oa)
- HAL (submittedVersion, cc-by)
- Infoscience (Ecole Polytechnique Fédérale de Lausanne) (submittedVersion, cc-by-nc-nd)
- LillOA (Université de Lille (University Of Lille)) (submittedVersion, other-oa)
- Oskar-Bordeaux (Universite de Bordeaux) (submittedVersion)
- Rare & Special e-Zone (The Hong Kong University of Science and Technology) (submittedVersion)
- arXiv (Cornell University)
- Funders
- Agence Nationale de la Recherche (ANR-16-CE23-0016, ANR-20-CE23-0015)
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › Privacy-Preserving Technologies in Data
- Physical Sciences › Computer Science › Artificial Intelligence › Stochastic Gradient Optimization Techniques
- Physical Sciences › Computer Science › Artificial Intelligence › Domain Adaptation and Few-Shot Learning
- Keywords
- federated learning, decentralized data, privacy-preserving machine learning, data minimization, open problems, mobile devices, data collection
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
A language model drew the claims from the paper on 2026-10-02, under version 3 of the claim definition (model deepseek-v4.1-flash, prompt extract-v3).
A second model labelled each claim on 2026-10-02 (model jev-1.13-20260917, definition revision gold-guideline-v0.2).
Cited sources are checked with a language model’s help (gpt-6-sol).
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review