Hugging Face's logo
Marco Dos Santos's picture

Marco Dos Santos

dsantosmarco
1 2 4
EncikAM's profile picture dark-pen's profile picture XiaoHLim's profile picture
·
https://marco-dossantos.github.io/

AI & ML interests

Formal mathematical reasoning, using language modelling and reinforcement learning.

Recent Activity

updated a dataset 3 days ago
dsantosmarco/taco-difficulty-results
published a dataset 3 days ago
dsantosmarco/taco-difficulty-results
upvoted an article about 1 year ago
Kimina-Prover-RL
View all activity

Organizations

open-web-math's profile picture Project-Numina's profile picture