Hugging Face model: xl-zhao/formal_proof_generator_v4_iter3
Author: xl-zhao
Created: 2024-08-25 08:29:45
Last modified: 2024-08-27 06:50:02
Likes: 0 | Downloads: 5
Tags: safetensors, llama, en, arxiv:2408.11172, license:llama3, region:us
Card metadata:
license: llama3
language: en