‘dataset’ directory
See Also
- Gwern
-
Links
- “ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics ”, Azerbayev et al 2023
- “MAUD: An Expert-Annotated Legal NLP Dataset for Merger Agreement Understanding ”, Wang et al 2023
- “Goodbooks-10k: a New Dataset for Book Recommendations ”, Zajc 2017
-
“
goodbooks-10k: Ten Thousand Books, Six Million Ratings: Https://fastml.com/ goodbooks-10k ”, Zajc 2017
- Bibliography
Gwern
“Anime Crop Datasets: Faces, Figures, & Hands ”, Gwern et al 2020
Links
“ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics ”, Azerbayev et al 2023
ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
“MAUD: An Expert-Annotated Legal NLP Dataset for Merger Agreement Understanding ”, Wang et al 2023
MAUD: An Expert-Annotated Legal NLP Dataset for Merger Agreement Understanding
“Goodbooks-10k: a New Dataset for Book Recommendations ”, Zajc 2017
“goodbooks-10k: Ten Thousand Books, Six Million Ratings: Https://fastml.com/goodbooks-10k ”, Zajc 2017
goodbooks-10k: Ten thousand books, six million ratings: https://
Bibliography
https://: “ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics ”,arxiv.org/ abs/ 2302.12433 https://: “Goodbooks-10k: a New Dataset for Book Recommendations ”,fastml.com/ goodbooks-10k-a-new-dataset-for-book-recommendations/ https://: “github.com/ zygmuntz/ goodbooks-10k goodbooks-10k: Ten Thousand Books, Six Million Ratings: Https://fastml.com/ ,goodbooks-10k ”