Marco Dos Santos's picture

1 1 4

Marco Dos Santos

dsantosmarco

·

https://marco-dossantos.github.io/

AI & ML interests

Formal mathematical reasoning, using language modelling and reinforcement learning.

Recent Activity

published an article about 1 month ago

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

upvoted a collection 4 months ago

Kimina Prover Preview

View all activity

Organizations

liked a dataset almost 2 years ago

EleutherAI/proof-pile-2

Updated Oct 25, 2023 • 2.25k • 203

liked 2 models almost 2 years ago

EleutherAI/llemma_34b

Text Generation • Updated Apr 3, 2024 • 11 • 99

EleutherAI/llemma_7b

Text Generation • Updated Feb 19, 2024 • 3.96k • • 109

liked a dataset almost 2 years ago

open-web-math/open-web-math

Viewer • Updated Oct 17, 2023 • 6.32M • 2.9k • 316