- See Also
-
Links
- “ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics”, Et Al 2023
- “MAUD: An Expert-Annotated Legal NLP Dataset for Merger Agreement Understanding”, Et Al 2023
- “Anime Crop Datasets: Faces, Figures, & Hands”, Et Al 2020
-
“
goodbooks-10k
: Ten Thousand Books, Six Million Ratings: Http://fastml.com/goodbooks-10k”, Z. 2017 - “Goodbooks-10k: a New Dataset for Book Recommendations”, Z. 2017
- “Darknet Market Archives (2013–2015)”, 2013
- Link Bibliography
See Also
Links
“ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics”, Et Al 2023
“ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics”, 2023-02-24 ( ; similar; bibliography)
“MAUD: An Expert-Annotated Legal NLP Dataset for Merger Agreement Understanding”, Et Al 2023
“MAUD: An Expert-Annotated Legal NLP Dataset for Merger Agreement Understanding”, 2023-01-02 ( ; similar)
“Anime Crop Datasets: Faces, Figures, & Hands”, Et Al 2020
“Anime Crop Datasets: Faces, Figures, & Hands”, 2020-05-10 ( ; backlinks; bibliography)
“goodbooks-10k
: Ten Thousand Books, Six Million Ratings: Http://fastml.com/goodbooks-10k”, Z. 2017
“goodbooks-10k
: Ten thousand books, six million ratings: http://fastml.com/goodbooks-10k”, 2017-11-29 ( ; backlinks; similar)
“Goodbooks-10k: a New Dataset for Book Recommendations”, Z. 2017
“Goodbooks-10k: a new dataset for book recommendations”, 2017-11-29 ( ; backlinks; similar; bibliography)
“Darknet Market Archives (2013–2015)”, 2013
“Darknet Market Archives (2013–2015)”, 2013-12-01 ( ; backlinks; similar; bibliography)
Link Bibliography
-
https://arxiv.org/abs/2302.12433
: “ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics”, Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, Edward W. Ayers, Dragomir Radev, Jeremy Avigad: -
crop
: “Anime Crop Datasets: Faces, Figures, & Hands”, Gwern Branwen, Arfafax, Shawn Presser, Anonymous, Danbooru Community: -
http://fastml.com/goodbooks-10k-a-new-dataset-for-book-recommendations/
: “Goodbooks-10k: a New Dataset for Book Recommendations”, Zygmunt Z.: -
dnm-archive
: “Darknet Market Archives (2013–2015)”, Gwern Branwen: