Filippo Menolascina

fmenol's activity

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

upvoted a paper about 1 month ago

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

Paper • 2606.12594 • Published Jun 10 • 17

upvoted a paper about 2 months ago

SCOPE: Self-Play via Co-Evolving Policies for Open-Ended Tasks

Paper • 2605.31433 • Published May 29 • 28

upvoted an article 3 months ago

view article

Article

How we OCR'ed 30,000 papers using Codex, open OCR models and Jobs

• 

nielsr

•

Apr 7

• 62

upvoted an article about 1 year ago

view article

Article

Unlocking Healthcare AI: I'm Releasing State-of-the-Art Medical Models for Free. Forever.

• 

MaziyarPanahi

•

Jul 16, 2025

• 156