Qiyuan

xqyww123's activity

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

upvoted a paper 1 day ago

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

Paper • 2507.18885 • Published Jul 25, 2025 • 1

updated a dataset 3 days ago

ANTPG/annotated-isabelle

Viewer • Updated 3 days ago • 8.95k • 6

published a dataset 3 days ago

ANTPG/annotated-isabelle

Viewer • Updated 3 days ago • 8.95k • 6

updated a dataset 3 days ago

ANTPG/premise_selection

Updated 3 days ago • 95 • 1

published a dataset 17 days ago

ANTPG/premise_selection

Updated 3 days ago • 95 • 1

updated a collection about 1 month ago

Minilang OOPSLA'26 Models

Collection

8 items • Updated Dec 23, 2025

updated a dataset about 1 month ago

ANTPG/Minilang-AFP-v1

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

published a dataset about 1 month ago

ANTPG/Minilang-AFP-v1

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

published a Space about 1 month ago

Running

README

🐠