Marco Dos Santos's picture

1 4

Marco Dos Santos

dsantosmarco

·

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

AI & ML interests

Formal mathematical reasoning, using language modelling and reinforcement learning.

Organizations

dsantosmarco's activity

liked a dataset about 1 year ago

EleutherAI/proof-pile-2

Updated Oct 25, 2023 • 3.23k • 188

liked 2 models about 1 year ago

EleutherAI/llemma_34b

Text Generation • Updated Apr 3 • 410 • 93

EleutherAI/llemma_7b

Text Generation • Updated Feb 19 • 3.75k • 98

liked a dataset about 1 year ago

open-web-math/open-web-math

Viewer • Updated Oct 17, 2023 • 6.32M • 5.92k • 276