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