Transformers How to use ruc-ai4math/Lean_State_Search_Random with Transformers:
# pip install -U transformers accelerate
# Load model directly
from transformers import AutoModel
model = AutoModel.from_pretrained("ruc-ai4math/Lean_State_Search_Random", device_map="auto") 
