Summary
The manuscript proposes a "social learning" framework for privacy-preserving LLM knowledge transfer. The method proceeds by using "teacher" models with access to private training data that output some knowledge representation. This knowledge representation is aggregated by a "student" and passed to an LLM in tandem with a test-time query. No private data ever enters the student model. The approach is validated on a variety of question-answering/classification benchmarks including GSM8K and BoolQ using the PaLM 2 model family.
Strengths
* The core idea is quite clever, and the research question is well-scoped — I would summarize the core research question as follows: "Since LLMs are so good at following instructions, why not use LLMs to generate better instructions from data for privacy preservation?"
* The writing is intuitive. It's easy to follow the paper's main line of argument.
Weaknesses
* [W1] Lack of formalization: While math is certainly not a prerequisite to a successful machine learning paper, without an underlying formalization of what the task is, it's hard to understand the proposed approach. Notation in 2.1 are limited to defining variables describing the teachers, student, and datasets, but not how they interact. To be fair, I find the examples and descriptions are informative and useful. However, they are a little bit too hand-wavey/open to interpretation due to imprecise language such as "agents collaborate" and "augment [the student's] knowledge." Other places of confusion include "[the student] must select a subset of the information [from teachers]," but subsequently, in 2.2.1, the teachers provide natural-language instructions, making me confused whether "subset" is used in the colloquial sense or the set-theoretic sense.
While such language is great for building intuition, I do not believe it can form the *sole* basis of a problem formulation in a technical paper. Furthermore, the lack of such formalisms makes it much harder to draw connections to related works in machine learning including and beyond LLMs.
* [W2] Unclear connection to social learning theory: I found the analogy to social learning theory distracting since the connection to the proposed approach seems to be "agents can learn tasks by examples/demonstrations," which sounds like supervised learning in general. Without clear reasoning for this connection, I think the reference actually obfuscates the proposed approach; I.e., if the reference was completely removed, one could still imagine a convincing paper that describes how natural language instructions from multiple agents can be aggregated to design better prompts for a "student LLM."
* [W3] Weak baseline: While results for a "voting" aggregator are in an Appendix, the main results use a random aggregation strategy. This means that, effectively, for each test-time example, the student is only using information from *one* teacher at a time. Thus, the experiments do not actually validate whether leveraging *multiple* teachers is helpful. See "Questions" for a suggested stronger baseline.
* [W4]: Missing ablations/sensitivity analysis: The number of teachers feels like a core design choice — any insights in how varying the number of teachers could improve the student's performance? Are more teachers always helpful, or do we see an U-shaped curve (i.e., too many "teachers" pulls the student in "different directions")?
* [W5] References to the model/knowledge distillation and curriculum learning literature are missing. These references could help contrast the proposed method, which aims to summarize "knowledge" in the abstract from teacher models, to previous distillation approaches, that aim to distill *parameters,* and curriculum learning approaches, which explicitly *select* data subsets for the student. The previous works seem to adopt a strictly narrower sense of "knowledge" (model distillation) or the mechanism of transfer (curriculum learning) the fact that LLMs can follow natural-language instructions provides new avenues to distill models, which this paper exemplifies. This paper is not the first to use the "student-teacher" verbiage in the context of machine learning. Some examples for consideration (in case the authors would like to expand their related works):
- [Hinton et al., '14](https://arxiv.org/abs/1503.02531), NeurIPS workshop, and [Ba & Caruana '14](https://arxiv.org/pdf/1312.6184), NeurIPS main conference — earliest usage of the "student teacher" verbiage I could find in the context of knowledge transfer. Similar ideas presented in [Vapnik & Ismailov '15](https://www.jmlr.org/papers/volume16/vapnik15b/vapnik15b.pdf?ref=https://githubhelp.com), JMLR.
- [Bucilu et al., '06](https://www.cs.cornell.edu/~caruana/compression.kdd06.pdf), KDD — earliest instance of "transfer knowledge from larger -> smaller model" that I am aware of.
- [Bengio et al., '09](https://dl.acm.org/doi/10.1145/1553374.1553380), ICML — original "curriculum learning" paper.
* [W6 — very, very minor] I find it unconventional to bold cells highlighting no statistical significance, since it's such a common practice in ML papers to bold the best-performing approach. But I was able to understand Table 1 fine.
Questions
* **Re [W1]:** Could the authors propose a formalization of the problem setup (i.e., a "student" is a mapping from .... A "teacher" is a mapping .... The training algorithm can be described as ... At inference time, given some user query, the student returns [object])? Here's a starting point that I wrote based on my understanding of the paper (please tweak/correct as needed, or propose a completely different one):
For simplicity, we consider a supervised binary classification task, with datasets of the form $ (x_i, y_i)_{i=1}^{N} $, where $x_i \in \mathcal{X}, y_i \in \\{0, 1\\}$.
A **teacher** $\\mathcal{T_j}$ is an arbitrary "agent" ($j = 1, \dots, m$) that maps private datasets $\\mathcal{D}\_{j}$ to "summaries" $\mathcal{I}_j$ (*e.g.,* parameters of a trained ML model, a natural language instruction).
A **student** is a tuple $ \\mathcal{S} = (\\mathcal{S}\_{agg}, \\mathcal{S}\_{LLM} ) $, where $\\mathcal{S}_{agg}: \mathcal{I}\_1 \times \dots \times \mathcal{I}\_m \mapsto s\_{inst}$ aggregates summaries from teachers into an "instruction" $s\_{inst}$ and $ \\mathcal{S}\_{LLM}: s\_{inst}, q(x) \mapsto \hat{y}$ concatenates the instruction to a user query $q(x)$ for inference-time data point $x$ and outputs a prediction $\hat{y}$.
Then:
* What is the student's "objective?" What are the students' inputs/outputs at training vs. inference time?
* How does the student "learn" to solve underlying tasks (i.e., what objective would a "good" student minimize)? Note that this does not need to be a formal "loss function" that can be numerically optimized (the proposed method doesn't do so, and that's OK) — I'm asking for a way to characterize the "quality" of a student in the abstract.
* Under the formulation, what is the output space of the teacher (e.g., natural language instructions? model parameters/vectors? synthetic examples $\in \mathcal{X}$?), and what are some choices of "aggregators?"
For me, [W1] is a "dealbreaker." I am very happy to re-assess the quality of the paper and approach if I see a formulation provided in the rebuttal for consideration that answers the above sub-questions, with a promise to incorporate into Section 2.1, but I do not think I can justify changing my score without seeing such a formulation first.
**Questions I am curious about, but need not be answered immediately:**
* Re W4: In Section 4.1, "The dataset is distributed between teachers randomly so all teachers will have the same data distribution." Wouldn't violating this assumption potentially *improve* performance; i.e., each teacher is largely "redundant" with respect to the others currently? E.g., re W3, my intuition is that under more diverse teachers, you'd see a larger gap between the random vs. voting aggregator (i.e., Appendix H).
* Re W3: What are other possible aggregators to consider? For example, one could implement a "summarization" aggregator that combines natural language summaries outputted by each teacher via an LLM.
* I'm confused about the utility of the memorization experiment. E.g., in the spam classification example in the intro, suppose my student is constrained to only ever output "yes" or "no," and suppose that the teachers output natural-language instructions that have verifiably low overlap with their training data. Wouldn't P(student outputs canary phrase) = 0 be guaranteed? In other words, isn't there already some inherent privacy-preservation? Can the authors speak to a concrete example where a student could produce a harmful output with respect to privacy preservation?