How to use tomreichel/proofdb with Transformers:
# Load model directly from transformers import AutoModel model = AutoModel.from_pretrained("tomreichel/proofdb", dtype="auto")
