Model: xl-zhao/formal_proof_generator_v1_iter3
Author: xl-zhao
Tags: safetensors, llama, en, arxiv:2408.11172, license:llama3, region:us
Card metadata: license: llama3
language: en
Likes: 0 | All-time downloads: 101
Created: 2024-08-22 18:15:44