DAPS-Math
/

DAPS-selector

premise-selection

theorem-proving

Model card Files Files and versions

DAPS-selector / LICENSE

Commit History

Oct 26 4 days ago

18:02
Release selector main

zxclara010

Verified signature
f218e1f