There are many references that have this issue, e.g., there is no Baudisin involved in Hubert et al., the authors of EternalMath are not just "the Eternal Math Authors" (seriously?), no Jasber in PutnamBench, and last time I checked, I was an author of the MathArena paper.