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