Hugging Face model: haielab/STP_model_Lean_0320-counterexamples-base
Author: haielab
Created: 2025-06-11 17:36:32
Last modified: 2025-06-11 17:36:41
Library: transformers
Likes: 0 | Downloads: 0
Tags: transformers, safetensors, arxiv:1910.09700, endpoints_compatible, region:us
Card metadata:
library_name: transformers