Skip to content

Average precision under random ranking - v1.0.1

Choose a tag to compare

View all tags
@shntnu shntnu released this 07 Sep 22:48
· 15 commits to main since this release
v1.0.1
This tag was signed with the committer’s verified signature.
shntnu Shantanu Singh
SSH Key Fingerprint: k+Ejoq+asjZXesjkushlBzkrDK2oOmXPAzRmCAQsw3A
Verified
Learn about vigilant mode.
b6a7a6b
This commit was signed with the committer’s verified signature.
shntnu Shantanu Singh
SSH Key Fingerprint: k+Ejoq+asjZXesjkushlBzkrDK2oOmXPAzRmCAQsw3A
Verified
Learn about vigilant mode.

Average precision under random ranking - v1.0.1

This revision adds a prominent development chronology to the Introduction and repository landing page, with a citation to the original September 7, 2025 expectation derivation.
The mathematical results and computational implementations are unchanged from version 1.0.0.

The harmonic expectation and its exchangeability derivation were obtained independently of Manzhos et al. and recorded in the September 7, 2025 repository manuscript, before their November 4, 2025 preprint.
The Lean expectation proof followed on March 23, 2026, and the second-moment derivation and variance verification on July 23, 2026.

The release provides the seven-page paper, complete reproducible supplement, arXiv source package, updated citation metadata, and SHA-256 checksums.
The PDF compiles without warnings and has been visually checked; the citation metadata validates against CFF 1.2.0.

To cite this version, use the attached CITATION.bib or the repository's Cite this repository button.
To reproduce it, extract supplement.zip and run bash reproduce.sh.

Assets 8
Loading