Qiyuan

xqyww123's activity

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

updated a dataset 7 days ago

ANTPG/MLML-data

Viewer • Updated 7 days ago • 1 • 195 • 1

published a dataset about 2 months ago

ANTPG/MLML-data

Viewer • Updated 7 days ago • 1 • 195 • 1

updated a dataset 5 months ago

ANTPG/premise_selection

Updated Feb 2 • 275 • 1

upvoted a paper 5 months ago

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

Paper • 2507.18885 • Published Jul 25, 2025 • 1

updated a dataset 5 months ago

ANTPG/annotated-isabelle

Viewer • Updated Jan 27 • 8.95k • 35

published a dataset 5 months ago

ANTPG/annotated-isabelle

Viewer • Updated Jan 27 • 8.95k • 35

published a dataset 6 months ago

ANTPG/premise_selection

Updated Feb 2 • 275 • 1

updated a collection 6 months ago

Minilang OOPSLA'26 Models

Collection

8 items • Updated Dec 23, 2025

updated a dataset 6 months ago

ANTPG/Minilang-AFP-v1

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

published a dataset 6 months ago

ANTPG/Minilang-AFP-v1

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

published a Space 6 months ago

Running

README

🐠