Qiyuan

xqyww123's activity

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

updated a dataset about 20 hours ago

ANTPG/MLML-data

Updated about 20 hours ago • 56

published a dataset 4 days ago

ANTPG/MLML-data

Updated about 20 hours ago • 56

updated a dataset 3 months ago

ANTPG/premise_selection

Updated Feb 2 • 44 • 1

upvoted a paper 3 months ago

A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL

Paper • 2507.18885 • Published Jul 25, 2025 • 1

updated a dataset 3 months ago

ANTPG/annotated-isabelle

Viewer • Updated Jan 27 • 8.95k • 19

published a dataset 3 months ago

ANTPG/annotated-isabelle

Viewer • Updated Jan 27 • 8.95k • 19

published a dataset 4 months ago

ANTPG/premise_selection

Updated Feb 2 • 44 • 1

updated a collection 5 months ago

Minilang OOPSLA'26 Models

Collection

8 items • Updated Dec 23, 2025

updated a dataset 5 months ago

ANTPG/Minilang-AFP-v1

Viewer • Updated Dec 22, 2025 • 340k • 6

published a dataset 5 months ago

ANTPG/Minilang-AFP-v1

Viewer • Updated Dec 22, 2025 • 340k • 6

published a Space 5 months ago

Running

README

🐠