A Neural Theorem Proving Group

AI & ML interests

Neural Theorem Proving

Recent Activity

xqyww123  updated a dataset 5 days ago

ANTPG/MLML-data

xqyww123  published a dataset 7 days ago

ANTPG/MLML-data

xqyww123  updated a dataset 3 months ago

ANTPG/premise_selection

View all activity

Team members 3