Marco Valentino's picture

3 1

Marco Valentino

mValentino91

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 1 day ago

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

liked a dataset 4 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

mValentino91 's datasets

None public yet