How to use Tianduo/MsAT-DeductReasoner-SVAMP with Transformers:
# Load model directly from transformers import HFDeductReasoner model = HFDeductReasoner.from_pretrained("Tianduo/MsAT-DeductReasoner-SVAMP", dtype="auto")
