Instructions to use fumiyau/mathlib4_state_diff with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Libraries
- Transformers
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") - Notebooks
- Google Colab
- Kaggle
Gated model You can list files but not access them
Preview of files found in this repository