d4-conf-aaai-2014-0151

· ? (d4-conf-aaai-2014-0151)

no mirror
paperd4-conf-aaai-2014-0151
authors—
venue?
filed underunclassified
judged bygpt-6-luna / xhigh (triple__luna__xhigh__c6r1)
judge confidencehigh
authors would recognise itunclear

Why no mirror

The paper has no numbered theorem, lemma, corollary, or proposition asserting an algorithm, bound, or hardness result; its equations describe the model and training updates, while Table 2 reports empirical results. The proposed mass-weighted household-risk problem is statable, but it is a new optimization question rather than a continuous analogue of a named computational result, so bit (a) fails.

fails bit a — no named computational result to mirror

What the mirror covers

No named computational result is covered. A mass-weighted DLGR training objective would extend the model to a household distribution, while the paper’s results are its model description and empirical comparisons.

Open questions for a prover

The case FOR (proponent)

There is no eligible anchor in this paper: it states no numbered theorem, lemma, corollary, or proposition about computational complexity. Equations (1)–(19) define the model and its training procedure; the named results are empirical comparisons, chiefly Table 2. For example, DLGR reports MAP scores of \(0.3236\), \(0.3252\), and \(0.3258\) under the three strategies. Those results do not establish that the underlying recommendation problem is in P, hard, or otherwise classifiable, so presenting them as a complexity anchor would misstate the paper.

A possible *unanchored* mirror would take types to be complete household inputs—members’ rating profiles and the household’s observed choices—and mass to be the fraction of households of each type. One could ask for shared DLGR parameters maximizing expected likelihood of group choices over that distribution, then rank movies for each type. A large platform might supply many households, but exact rating histories may make the type support large; moreover, the paper’s data has only 290 households, each with 2–4 members. The mirror is conceivable, but this paper provides no named computational result that supports a tractability or hardness prediction for it.

The case AGAINST (opponent, writing after the proponent)

The proponent’s own opening point is decisive about the paper’s results: it contains no theorem, lemma, or corollary about computational complexity. Its main claims are empirical comparisons on 290 households. The DLGR scores in Table 2 are not complexity results, so there is no named result here to continuize.

The proposed mirror—minimize expected DLGR training loss over a distribution of household types—is the strongest candidate for a new question. It can be made coherent: a type could describe a household’s member preference profiles, with a distribution over such types and group choices modeled conditionally. But that asks about population risk and generalization for a recommender model. With finite support, its objective is a weighted training loss; the paper’s approximate, nonconvex RBM training does not become a new tractable optimization problem just because the examples have masses. It might be a worthwhile machine-learning question, but it is not a computational result of this paper or a clear fit for ChoCo’s complexity programme.

There is a further tension in the type choice. Including complete rating profiles gives a faithful description of what DLGR uses, but may leave very large support; merging households into preference classes makes a more manageable population model, but changes the inputs and potentially the learned recommendations. A distribution over latent household archetypes is a plausible repair, yet it takes the proposal further from the paper’s stated contribution: learning and evaluating a model on observed household data.

So the case against is strong for rejecting this paper as an anchored ChoCo mirror, but weak as a universal claim that no worthwhile continuous-population research question could arise from group recommendation. The archetype-distribution version remains plausible; what is missing is a computational question in the paper that it would mirror.

The adversarial triple: the proponent anchors on up to three named results; the opponent sees that case and must defeat every anchor; the judge decides which case convinced it. These are the pipeline’s own outputs, generated by tools/triple_run.py — no human edited them. The paper’s own text is not reproduced here beyond the quoted statement above.