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