Instructions to use ruc-ai4math/Lean_State_Search_Random with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Libraries
- Transformers
How to use ruc-ai4math/Lean_State_Search_Random with Transformers:
# Load model directly from transformers import AutoModel model = AutoModel.from_pretrained("ruc-ai4math/Lean_State_Search_Random", dtype="auto") - Notebooks
- Google Colab
- Kaggle
Update pipeline tag to text-ranking
#2
by nielsr HF Staff - opened
This PR updates the pipeline_tag from sentence-similarity to text-ranking. This change more accurately reflects the model's function of premise retrieval and re-ranking, ensuring it is discoverable under the correct category on the Hugging Face Hub.