DAPS-Math
/

DAPS-selector

premise-selection

theorem-proving

Model card Files Files and versions

DAPS-selector / daps_selector.pt

zxclara010's picture

Release selector main

f218e1f verified 4 days ago

History Blame Contribute Delete

85.7 MB

This file is stored with Xet . It is too big to display, but you can still download it.

Xet Pointer Details

( Raw pointer file )

Xet hash:: 5a578713c26c66eacb4b88dc391ef32fa352a1fbd72375dcbda4cf9108568a01
Size of remote file:: 85.7 MB
SHA256:: 30fd428335f4dd70a7b4c10f134fb6300a93e364bb98e58aaedf47ffe363687f

Xet efficiently stores Large Files inside Git, intelligently splitting files into unique chunks and accelerating uploads and downloads. More info.