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