Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Hardware
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up

Isaac74
/
qwen3-0.6b-lightweight-semantic-mathlib-search-adapter

Sentence Similarity
PEFT
Safetensors
sentence-transformers
lora
semantic-search
faiss
hnsw
mathlib4
lean4
Model card Files Files and versions
xet
Community

Instructions to use Isaac74/qwen3-0.6b-lightweight-semantic-mathlib-search-adapter with libraries, inference providers, notebooks, and local apps. Follow these links to get started.

  • Libraries
  • PEFT

    How to use Isaac74/qwen3-0.6b-lightweight-semantic-mathlib-search-adapter with PEFT:

    Task type is invalid.
  • sentence-transformers

    How to use Isaac74/qwen3-0.6b-lightweight-semantic-mathlib-search-adapter with sentence-transformers:

    from sentence_transformers import SentenceTransformer
    
    model = SentenceTransformer("Isaac74/qwen3-0.6b-lightweight-semantic-mathlib-search-adapter")
    
    sentences = [
        "That is a happy person",
        "That is a happy dog",
        "That is a very happy person",
        "Today is a sunny day"
    ]
    embeddings = model.encode(sentences)
    
    similarities = model.similarity(embeddings, embeddings)
    print(similarities.shape)
    # [4, 4]
  • Notebooks
  • Google Colab
  • Kaggle
qwen3-0.6b-lightweight-semantic-mathlib-search-adapter / faiss
2.68 GB
Ctrl+K
Ctrl+K
  • 1 contributor
History: 2 commits
Isaac74's picture
Isaac74
Upload faiss/mathlib420_final_public_index.jsonl with huggingface_hub
288bc58 verified about 1 year ago
  • mathlib420_final_hnsw.idx
    2.56 GB
    xet
    Upload faiss/mathlib420_final_hnsw.idx with huggingface_hub about 1 year ago
  • mathlib420_final_public_index.jsonl
    121 MB
    xet
    Upload faiss/mathlib420_final_public_index.jsonl with huggingface_hub about 1 year ago