One doc tagged with "metrics"

Reproducing the evaluation metrics from the Cricket AI paper (3,627 claims, 97.71% auto-verification).