How to use tomreichel/proofdb-HN with Transformers:
# pip install -U transformers accelerate # Load model directly from transformers import AutoModel model = AutoModel.from_pretrained("tomreichel/proofdb-HN", device_map="auto")
