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

Master-thesis-NAP
/
ModernBERT-DAPT-Embed-DAPT-Math-v2

Sentence Similarity
sentence-transformers
Safetensors
English
modernbert
feature-extraction
Generated from Trainer
dataset_size:79876
loss:MultipleNegativesRankingLoss
Eval Results (legacy)
text-embeddings-inference
Model card Files Files and versions
xet
Community

Instructions to use Master-thesis-NAP/ModernBERT-DAPT-Embed-DAPT-Math-v2 with libraries, inference providers, notebooks, and local apps. Follow these links to get started.

  • Libraries
  • sentence-transformers

    How to use Master-thesis-NAP/ModernBERT-DAPT-Embed-DAPT-Math-v2 with sentence-transformers:

    from sentence_transformers import SentenceTransformer
    
    model = SentenceTransformer("Master-thesis-NAP/ModernBERT-DAPT-Embed-DAPT-Math-v2")
    
    sentences = [
        "What is the error estimate for the difference between the exact solution and the local oscillation decomposition (LOD) solution in terms of the $L_0$ norm?",
        "\\label{thm1}\nSuppose $\\kappa$ and $\\bar a$ are as above. Then $|\\Pcut(\\bar a)| \\leq 2^\\kappa$. Indeed if\n$2^\\kappa=\\aleph_\\alpha,$ then $|\\Pcut(\\bar a)| \\leq |\\alpha+1|^2$.",
        "\\cite{kyushu}\n    For every discrete group $\\G$ and every 2-dimensional  representation $\\varrho$ of $\\G$, $\\varrho-$equivariant functions for $\\G$ always exist.",
        "\\label{Corollary}\n     Let Assumptions~\\ref{assum_1} and~\\ref{assump2} be satisfied. Let $u$ be the solution of~\\eqref{WeakForm} and let $u_{H,k}$ be the LOD solution of~\\eqref{local_probelm }. Then we have \n     \\begin{equation}\\label{L2Estimate}\n         \\|u-I_Hu_{H,k}\\|_0\\lesssim  \\|u-I_Hu\\|_0+\\|u-u_{H,k}\\|_0 +H|u-u_{H,k}|_1.\n     \\end{equation}\n     %\\[\\|u-I_Hu_{H,k}\\|_0\\lesssim H |u|_1 +|u-u_{H,k}|_1.\\]"
    ]
    embeddings = model.encode(sentences)
    
    similarities = model.similarity(embeddings, embeddings)
    print(similarities.shape)
    # [4, 4]
  • Notebooks
  • Google Colab
  • Kaggle
ModernBERT-DAPT-Embed-DAPT-Math-v2
600 MB
Ctrl+K
Ctrl+K
  • 1 contributor
History: 2 commits
RosaMelo's picture
RosaMelo
Add new SentenceTransformer model
f391a3d verified about 1 year ago
  • 1_Pooling
    Add new SentenceTransformer model about 1 year ago
  • .gitattributes
    1.52 kB
    initial commit about 1 year ago
  • README.md
    44.3 kB
    Add new SentenceTransformer model about 1 year ago
  • config.json
    1.21 kB
    Add new SentenceTransformer model about 1 year ago
  • config_sentence_transformers.json
    205 Bytes
    Add new SentenceTransformer model about 1 year ago
  • model.safetensors
    596 MB
    xet
    Add new SentenceTransformer model about 1 year ago
  • modules.json
    349 Bytes
    Add new SentenceTransformer model about 1 year ago
  • sentence_bert_config.json
    54 Bytes
    Add new SentenceTransformer model about 1 year ago
  • special_tokens_map.json
    694 Bytes
    Add new SentenceTransformer model about 1 year ago
  • tokenizer.json
    3.58 MB
    Add new SentenceTransformer model about 1 year ago
  • tokenizer_config.json
    21 kB
    Add new SentenceTransformer model about 1 year ago