DAPS-Math
/

DAPS-selector

premise-selection

theorem-proving

Model card Files Files and versions

DAPS-selector / .gitattributes

zxclara010's picture

Release selector main

f218e1f verified 3 days ago

Raw History Blame Contribute Delete

41 Bytes

*.pt filter=lfs diff=lfs merge=lfs -text