Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
1
2
4
Marco Dos Santos
dsantosmarco
Follow
dark-pen's profile picture
Tonic's profile picture
EncikAM's profile picture
7 followers
·
2 following
https://marco-dossantos.github.io/
dsantosmarco
marco-dossantos
dsantosmarco
AI & ML interests
Formal mathematical reasoning, using language modelling and reinforcement learning.
Organizations
dsantosmarco
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
over 2 years ago
EleutherAI/proof-pile-2
Updated
Oct 25, 2023
•
8.36k
•
216
liked
2 models
over 2 years ago
EleutherAI/llemma_34b
Text Generation
•
Updated
Apr 3, 2024
•
425
•
100
EleutherAI/llemma_7b
Text Generation
•
Updated
Feb 19, 2024
•
479
•
•
112
liked
a dataset
over 2 years ago
open-web-math/open-web-math
Viewer
•
Updated
Oct 17, 2023
•
6.32M
•
11.3k
•
330