A Neural Theorem Proving Group

community

AI & ML interests

Neural Theorem Proving

Recent Activity

xqyww123 updated a dataset 4 days ago

ANTPG/annotated-isabelle

xqyww123 published a dataset 4 days ago

ANTPG/annotated-isabelle

xqyww123 updated a dataset 4 days ago

ANTPG/premise_selection

View all activity

ANTPG 's datasets 3

ANTPG/annotated-isabelle

Viewer • Updated 4 days ago • 8.95k • 6

ANTPG/premise_selection

Updated 4 days ago • 95 • 1

ANTPG/Minilang-AFP-v1

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