Transformers How to use ScalableMath/Lean-STaR-plus with Transformers:
# Use a pipeline as a high-level helper
from transformers import pipeline
pipe = pipeline("feature-extraction", model="ScalableMath/Lean-STaR-plus", trust_remote_code=True) # pip install -U transformers accelerate
# Load model directly
from transformers import AutoModel
model = AutoModel.from_pretrained("ScalableMath/Lean-STaR-plus", trust_remote_code=True, device_map="auto") 
