Marco Valentino
mValentino91
AI & ML interests
None yet
Recent Activity
upvoted a paper 14 days ago
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation liked a dataset 17 days ago
sci-reason/scir upvoted a paper 5 months ago
Fundamental Reasoning Paradigms Induce Out-of-Domain Generalization in Language ModelsOrganizations
None yet