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