How to use korazer/Qwen-3-8B-Lean4-Autoformalization with Transformers:
# Load model directly from transformers import AutoModel model = AutoModel.from_pretrained("korazer/Qwen-3-8B-Lean4-Autoformalization", device_map="auto")
