A Neural Theorem Proving Group

community

AI & ML interests

Neural Theorem Proving

ANTPG 's datasets 3

ANTPG/premise_selection

Updated Feb 2 • 32 • 1

ANTPG/annotated-isabelle

Viewer • Updated Jan 27 • 8.95k • 25

ANTPG/Minilang-AFP-v1

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