How to use haielab/llemma_7b-counterexamples-base with Transformers:
# Load model directly from transformers import AutoModel model = AutoModel.from_pretrained("haielab/llemma_7b-counterexamples-base", dtype="auto")