Maciej Pióro

maciek-pioro's activity

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

liked a dataset about 1 month ago

PleIAs/YouTube-Commons

Viewer • Updated Apr 18 • 607 • 280

liked a dataset 11 months ago

Simontwice/premise_selection_in_isabelle

Preview • Updated Mar 13, 2023 • 10