## Problem 061 — rank:130

**Title:** Computational protein-function prediction

**Added binding assumptions (LaTeX):**

```latex
Define ontology labels by compatible assay events so the ancestor implications actually hold in the chosen context. Calibration alone permits a constant base-rate predictor; add a prespecified proper-score or selective-accuracy improvement and minimum nonabstention coverage. Ontology-external novelty requires an independently labeled novelty benchmark, not simply a low maximum class probability.
```

**Direct edits:** 0. **Fresh external checks:** None; supplied sources retained as provenance.