Search for a command to run...
MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics