Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
1
2
4
Marco Dos Santos
dsantosmarco
Follow
mavi88's profile picture
XiaoHLim's profile picture
EncikAM's profile picture
6 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
•
4.95k
•
210
liked
2 models
over 2 years ago
EleutherAI/llemma_34b
Text Generation
•
Updated
Apr 3, 2024
•
505
•
100
EleutherAI/llemma_7b
Text Generation
•
Updated
Feb 19, 2024
•
700
•
•
111
liked
a dataset
over 2 years ago
open-web-math/open-web-math
Viewer
•
Updated
Oct 17, 2023
•
6.32M
•
7.41k
•
326