Filippo Menolascina PRO

fmenol

4 7

·

fmenol

AI & ML interests

None yet

Recent Activity

published a dataset 4 days ago

published a bucket 19 days ago

fmenol/w4c_test

upvoted a paper 4 months ago

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

View all activity

Organizations

fmenol 's buckets 1

fmenol/w4c_test