Transformers How to use haielab/BFS-Prover-counterexamples-base with Transformers:
# pip install -U transformers accelerate
# Load model directly
from transformers import AutoModel
model = AutoModel.from_pretrained("haielab/BFS-Prover-counterexamples-base", device_map="auto") 
