Marco Valentino's picture

3 1

Marco Valentino

mValentino91

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 3 days ago

Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation

liked a dataset 6 days ago

sci-reason/scir

upvoted a paper 4 months ago

Fundamental Reasoning Paradigms Induce Out-of-Domain Generalization in Language Models

View all activity

Organizations

None yet

liked a dataset 6 days ago

sci-reason/scir

Updated 6 days ago • 117 • 1