‘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
See Also
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://fastml.com/goodbooks-10k
Bibliography
https://arxiv.org/abs/2302.12433: “ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics ”,https://fastml.com/goodbooks-10k-a-new-dataset-for-book-recommendations/: “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 ”,