Marco Valentino

mValentino91's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper 3 days ago

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

Paper • 2606.12594 • Published 8 days ago • 14

liked a dataset 6 days ago

sci-reason/scir

Updated 6 days ago • 130 • 1

upvoted a paper 4 months ago

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

Paper • 2602.08658 • Published Feb 9 • 13

upvoted a paper 8 months ago

OpenSIR: Open-Ended Self-Improving Reasoner

Paper • 2511.00602 • Published Nov 1, 2025 • 21