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
2.7 GB
Ctrl+K
Ctrl+K
  • 1 contributor
History: 9 commits
Isaac74's picture
Isaac74
Update README.md
bec85f8 verified about 1 year ago
  • adapter
    Upload adapter/adapter_model.safetensors with huggingface_hub about 1 year ago
  • faiss
    Upload faiss/mathlib420_final_public_index.jsonl with huggingface_hub about 1 year ago
  • .gitattributes
    1.67 kB
    Upload faiss/mathlib420_final_public_index.jsonl with huggingface_hub about 1 year ago
  • README.md
    1.24 kB
    Update README.md about 1 year ago