The top documents tagged [advanced math reasoning]