Bibliography:

  1. ​ doc tag

  2. ​ ‘Danbooru AI’ tag

  3. ​ ‘ML dataset’ tag

  4. ​ ‘DNM Archives’ tag

  5. ​ ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics

  6. ​ MAUD: An Expert-Annotated Legal NLP Dataset for Merger Agreement Understanding

  7. ​ Anime Crop Datasets: Faces, Figures, & Hands

  8. ​ Goodbooks-10k: a new dataset for book recommendations

  9. ​ goodbooks-10k: Ten thousand books, six million ratings: https://fastml.com/goodbooks-10k

  10. ​ ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics

  11. ​ https%253A%252F%252Farxiv.org%252Fabs%252F2302.12433.html

  12. ​ Anime Crop Datasets: Faces, Figures, & Hands

  13. ​ Gwern.net Homepage

    [Transclude the forward-link's context]

  14. ​ https://x.com/arfafax

  15. ​ https://x.com/theshawwn

  16. ​ %252Fcrop.html

  17. ​ Goodbooks-10k: a new dataset for book recommendations

  18. ​ About

  19. ​ https%253A%252F%252Ffastml.com%252Fgoodbooks-10k-a-new-dataset-for-book-recommendations%252F.html

  20. Wikipedia Bibliography:

    1. ​ Dragomir Radev

    2. ​ Jeremy Avigad