Filippo Menolascina

fmenol

4 7

·

fmenol

AI & ML interests

None yet

Recent Activity

published a bucket 5 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

fmenol 's datasets 12

fmenol/icd-10-pcs-img-codes

Viewer • Updated Nov 12, 2024 • 3.86k • 9 • 1

fmenol/icd-10-pcs-codes

Viewer • Updated Oct 29, 2024 • 78.9k • 56 • 2

fmenol/acr-appro-3opts-v2

Viewer • Updated Oct 23, 2024 • 12.2k • 22

fmenol/acr-appro-criteria-split

Viewer • Updated Oct 23, 2024 • 12.2k • 25

fmenol/acr-appro-3opts

Viewer • Updated Oct 23, 2024 • 12.2k • 28

fmenol/acr-appro

Viewer • Updated Sep 28, 2024 • 12.2k • 21

fmenol/acr-appro-papers-MCQA-TTV

Viewer • Updated Sep 9, 2024 • 293k • 56

fmenol/acr-appro-criteria-MCQA-TTV

Viewer • Updated Aug 16, 2024 • 293k • 39 • 1

fmenol/acr-appro-criteria-mcqa

Viewer • Updated Aug 13, 2024 • 293k • 15

fmenol/acr-appro-criteria-v3

Viewer • Updated Aug 12, 2024 • 12.2k • 12

fmenol/acr-appro-criteria-v2

Viewer • Updated Aug 6, 2024 • 12.2k • 13

fmenol/acr-appro-criteria

Viewer • Updated Aug 5, 2024 • 12.2k • 39 • 1