Model: hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne5-may07
Author: hanwenzhu
Pipeline: sentence-similarity
Library: sentence-transformers
Tags: sentence-transformers, safetensors, roberta, sentence-similarity, feature-extraction, generated_from_trainer, dataset_size:8429545, loss:MaskedCachedMultipleNegativesRankingLoss, arxiv:1908.10084, arxiv:2101.06983, base_model:sentence-transformers/all-distilroberta-v1, base_model:finetune:sentence-transformers/all-distilroberta-v1, text-embeddings-inference, endpoints_compatible, region:us
Base models (finetune): id: sentence-transformers/all-distilroberta-v1
Card metadata: base_model: sentence-transformers/all-distilroberta-v1
library_name: sentence-transformers
pipeline_tag: sentence-similarity
tags: sentence-transformers, sentence-similarity, feature-extraction, generated_from_trainer, dataset_size:8429545, loss:MaskedCachedMultipleNegativesRankingLoss
widget: source_sentence: Mathlib.Analysis.NormedSpace.Multilinear.Basic#479
sentences: Submonoid.unitSphere, RingHom.instRingHomClass, instIsTransLe, source_sentence: Mathlib.CategoryTheory.Bicategory.Functor.LocallyDiscrete#54
sentences: CategoryTheory.Category.assoc, funext, CategoryTheory.Category.assoc, source_sentence: Init.Data.Int.Lemmas#213
sentences: EmbeddingLike.map_eq_zero_iff, Int.add_sub_cancel, MvPolynomial.pderiv_map, source_sentence: Mathlib.CategoryTheory.ChosenFiniteProducts#153
sentences: CategoryTheory.cancel_epi, CategoryTheory.Limits.hasColimitsOfShapeOfHasColimitsOfSize, CategoryTheory.ChosenFiniteProducts.prodComparison_fst, source_sentence: Mathlib.Algebra.Polynomial.Monic#133
sentences: quasispectrum.zero_mem, le_sup_left, pow_succ
Likes: 0 | All-time downloads: 63
Created: 2025-05-07 22:57:49