Filippo Menolascina

fmenol

4 7

·

fmenol

AI & ML interests

None yet

Recent Activity

upvoted a paper about 1 month ago

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

upvoted a paper about 2 months ago

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

upvoted an article 3 months ago

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

View all activity

Organizations

liked 2 Spaces almost 2 years ago

Realtime Whisper Turbo

Realtime implementation of Whisper large turbo

Rag Highlights

RAG with source links inserted using LXT library.

liked a dataset almost 2 years ago

gabrielmbmb/distilabel-reflection-tuning

Viewer • Updated Sep 6, 2024 • 5 • 57 • 55

liked 2 Spaces almost 2 years ago

Followgraph

Discover new Hugging Face users to follow

Infinite Dataset Hub

Search and save datasets generated with a LLM in real time

liked 2 models about 2 years ago

Salesforce/moirai-1.0-R-base

Time Series Forecasting • 91.4M • Updated Jan 21, 2025 • 6.26k • 32

google/timesfm-1.0-200m

Time Series Forecasting • Updated May 17, 2024 • 157 • 828