markm39
/

openproof-tactic-2b

Text Generation

theorem-proving

tactic-prediction

formal-verification

Model card Files Files and versions

openproof-tactic-2b / scheduler.pt

markm39's picture

Upload folder using huggingface_hub

80c278b verified 18 days ago

history blame contribute delete

1.47 kB

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:: 665c1fb036b6831deba2b7281df54ff6272d304b974085bbd990cad6a0fc9841
Size of remote file:: 1.47 kB
SHA256:: e05d73e8c0556d5521a0028eb2ab912e7afb47137dfc50f61edf45746655c801

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