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