alpha-proof-open-source
/

alphaproof-full-v3-value-head

theorem-proving

research-artifact

Model card Files Files and versions

alphaproof-full-v3-value-head / backend.json

hsy13's picture

Upload verified REAP full-v3 adapter and value-head snapshot

c59450c verified 25 days ago

History Blame Contribute Delete

220 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:: 51fc4f5a5b04e818d3789196dc18be85801ed92300504b43821aa5a424679748
Size of remote file:: 220 MB
SHA256:: becf7c4c6650fca4b11b1087ddd86f4c5dfb69f9b21913bc3f8c81c8f1c37479

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