How to use kinit/equational-reasoning-sft-rl-loop-theory with Transformers:
# Load model directly from transformers import AutoModel model = AutoModel.from_pretrained("kinit/equational-reasoning-sft-rl-loop-theory", dtype="auto")
