%0 Conference Paper %1 conf/iclr/LiYWP21 %A Li, Wenda %A Yu, Lei %A Wu, Yuhuai %A Paulson, Lawrence C. %B ICLR %D 2021 %I OpenReview.net %K dblp %T IsarStep: a Benchmark for High-level Mathematical Reasoning. %U http://dblp.uni-trier.de/db/conf/iclr/iclr2021.html#LiYWP21

@inproceedings{conf/iclr/LiYWP21, added-at = {2021-06-23T00:00:00.000+0200}, author = {Li, Wenda and Yu, Lei and Wu, Yuhuai and Paulson, Lawrence C.}, biburl = {https://www.bibsonomy.org/bibtex/2886ae16b6211403d62f92e68db55eb09/dblp}, booktitle = {ICLR}, crossref = {conf/iclr/2021}, ee = {https://openreview.net/forum?id=Pzj6fzU6wkj}, interhash = {40544e3f352e3689006f893eac4b9bdc}, intrahash = {886ae16b6211403d62f92e68db55eb09}, keywords = {dblp}, publisher = {OpenReview.net}, timestamp = {2024-04-10T01:22:14.000+0200}, title = {IsarStep: a Benchmark for High-level Mathematical Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/iclr/iclr2021.html#LiYWP21}, year = 2021 }