How to use fumiyau/mathlib4_state_diff with Transformers:
# Use a pipeline as a high-level helper from transformers import pipeline pipe = pipeline("text-classification", model="fumiyau/mathlib4_state_diff")
# Load model directly from transformers import AutoTokenizer, AutoModelForSequenceClassification tokenizer = AutoTokenizer.from_pretrained("fumiyau/mathlib4_state_diff") model = AutoModelForSequenceClassification.from_pretrained("fumiyau/mathlib4_state_diff")
The community tab is the place to discuss and collaborate with the HF community!
