MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics - Citation Graph | Papersgraph