Filippo Menolascina

fmenol

4 7

·

fmenol

AI & ML interests

None yet

Recent Activity

published a bucket 6 days ago

fmenol/w4c_test

upvoted a paper 4 months ago

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

upvoted a paper 4 months ago

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

View all activity

Organizations

liked 2 Spaces about 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 about 2 years ago

gabrielmbmb/distilabel-reflection-tuning

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

liked 2 Spaces about 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 over 2 years ago

Salesforce/moirai-1.0-R-base

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

google/timesfm-1.0-200m

Time Series Forecasting • Updated May 17, 2024 • 1.23k • 840