MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics.

Kunhao Zheng Jesse Michael Han Stanislas Polu

Published in: CoRR (2021)

Keyphrases

multiscale
higher level
object level
real time
databases
neural network
data mining
genetic algorithm
artificial intelligence
three dimensional
computer science
multiresolution
comparative analysis
pixel level
computer algebra