Maciej Pióro

maciek-pioro's activity

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

liked a dataset 7 months ago

PleIAs/YouTube-Commons

Updated Jun 26 • 1.08k • 320

liked a dataset over 1 year ago

Simontwice/premise_selection_in_isabelle

Preview • Updated Mar 13, 2023 • 41 • 11