Hugging Face's logo

xl-zhao
/
formal_proof_generator_v4_iter3

Safetensors
English
llama
Model card Files Community
formal_proof_generator_v4_iter3
File size: 135 Bytes 
58aa63d
 
 
 
1
2
3
4
 
version https://git-lfs.github.com/spec/v1
oid sha256:8d43005809e22c5ca7671c230a9aa6d9640d13ee3fac5e85e23ae057a973a326
size 4999813128