Hugging Face's logo

xl-zhao
/
formal_proof_generator_v1_iter3

Safetensors
English
llama
Model card Files Community
formal_proof_generator_v1_iter3
File size: 135 Bytes 
d6b89bd
 
 
 
1
2
3
4
 
version https://git-lfs.github.com/spec/v1
oid sha256:1b459d5fc2c3bba7652ce670d014ec305bf62e049ed303002a986f5fdf84e8e2
size 4832007496