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

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

Instructions to use Master-thesis-NAP/ModernBERT-DAPT-Embed-DAPT-Math 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 with sentence-transformers:

    from sentence_transformers import SentenceTransformer
    
    model = SentenceTransformer("Master-thesis-NAP/ModernBERT-DAPT-Embed-DAPT-Math")
    
    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{RL1}\nThe system \\eqref{R3} has the following positive fixed points if $0 <\\alpha\\leq1$ and $b>d$\n$$E^*=\\left(\\dfrac{d}{b}, \\dfrac{(b-d) r}{b^2}\\right)$$",
        "\\label{theo1d}\nWith the assumptions and setting is this section,  the finite difference solution  computed using the improved harmonic average method applied to \\eqn{eq1d} or \\eqn{eq1dB}  has second order convergence in the infinity norm, that is,\n\\eqm\n  \\|\\mathbf{E} \\|_{\\infty}\\le C h^2,\n\\enm\nassuming that the true solution of \\eqn{eq1d} is piecewise $C^4$ excluding the interface $\\alf$, that is, \n$u(x) \\in C^4(0,\\alf)  \\cup C^4(\\alf,1)$. \n%where $C$ is a generic error constant.",
        "\\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
600 MB
Ctrl+K
Ctrl+K
  • 1 contributor
History: 2 commits
RosaMelo's picture
RosaMelo
Add new SentenceTransformer model
c806aec 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
    46.2 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