Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
ICLR
/
Paper
miniF2F: a cross-system benchmark for formal Olympiad-level mathematics.
Kunhao Zheng
,
Jesse Michael Han
,
Stanislas Polu
Venue
A*
ICLR
Year
2022
Proceedings
ICLR
DBLP record
conf/iclr/ZhengHP22 ↗
Browse the full
ICLR paper archive
.