Hugging Face model: hkarnatak/llama-2-7b_CoqPropsProofs
Author: hkarnatak
Created: 2025-03-20 11:05:55
Last modified: 2025-03-20 17:10:04
Library: transformers
Likes: 0 | Downloads: 0
Tags: transformers, safetensors, arxiv:1910.09700, endpoints_compatible, region:us
Card metadata:
library_name: transformers