A Neural Theorem Proving Group

AI & ML interests

Neural Theorem Proving

Recent Activity

xqyww123  updated a dataset about 20 hours ago

ANTPG/annotated-isabelle

xqyww123  published a dataset about 21 hours ago

ANTPG/annotated-isabelle

xqyww123  updated a dataset about 22 hours ago

ANTPG/premise_selection

View all activity

Team members 3