How to use tomreichel/proof-synthesis-model with Transformers:
# Load model directly from transformers import AutoModel model = AutoModel.from_pretrained("tomreichel/proof-synthesis-model", dtype="auto")
The community tab is the place to discuss and collaborate with the HF community!
