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

Kunhao Zheng Jesse Michael Han Stanislas Polu

Published in: ICLR (2022)

Keyphrases

computer science
artificial intelligence
formal specification
real time
artificial neural networks
computer algebra
formal methods
levels of abstraction
comparative analysis
lower level
formal model
evolutionary algorithm
bayesian networks
clustering algorithm
decision making
social networks
data mining
data sets