Hugging Face's logo

xl-zhao
/
formal_proof_generator_v2_iter3

Safetensors
English
llama
Model card Files
xet
Community
formal_proof_generator_v2_iter3
File size: 135 Bytes 
41f17fd
 
 
 
1
2
3
4
 
version https://git-lfs.github.com/spec/v1
oid sha256:0c29b22a48b3a5e3f9bd3a61f40fcce1c49725dc9c8856aa3b66c758cbb74683
size 4999813112