Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
1
5
Marco Dos Santos
dsantosmarco
Follow
21world's profile picture
1 follower
·
0 following
https://marco-dossantos.github.io/
dsantosmarco
marco-dossantos
AI & ML interests
Large language models, Reinforcement learning, Machine learning for mathematics.
Organizations
dsantosmarco
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
liked
a dataset
8 months ago
EleutherAI/proof-pile-2
Updated
Oct 25, 2023
•
2.07k
•
151
liked
3 models
8 months ago
morph-labs/morph-prover-v0-7b
Text Generation
•
Updated
Oct 25, 2023
•
12
•
34
EleutherAI/llemma_34b
Text Generation
•
Updated
Apr 3
•
6.72k
•
83
EleutherAI/llemma_7b
Text Generation
•
Updated
Feb 19
•
14.2k
•
86
liked
a dataset
8 months ago
open-web-math/open-web-math
Viewer
•
Updated
Oct 17, 2023
•
4.86k
•
231