Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
1
2
4
Marco Dos Santos
dsantosmarco
Follow
XiaoHLim's profile picture
21world's profile picture
MantasBaksys'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.
Recent Activity
upvoted
an
article
11 days ago
Kimina-Prover-RL
published
an
article
11 days ago
Kimina-Prover-RL
published
an
article
about 2 months ago
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
View all activity
Organizations
Articles
2
Article
9
Kimina-Prover-RL
Article
48
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
View all Articles
Papers
2
arxiv:
2310.10631
arxiv:
2310.06786
models
0
None public yet
datasets
0
None public yet