Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
1
2
4
Marco Dos Santos
dsantosmarco
Follow
EncikAM's profile picture
mavi88's profile picture
Tonic'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 models
None public yet
