Model: hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne5-mar17
Author: hanwenzhu
Pipeline: sentence-similarity
Library: sentence-transformers
Tags: sentence-transformers, safetensors, roberta, sentence-similarity, feature-extraction, generated_from_trainer, dataset_size:5817740, 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:5817740, loss:MaskedCachedMultipleNegativesRankingLoss
widget: source_sentence: Mathlib.Algebra.Group.Pointwise.Finset.Basic#679
sentences: instContinuousStarReal, StrictOrderedSemiring.toMulPosStrictMono, IsCancelAdd.toIsLeftCancelAdd, source_sentence: Mathlib.Algebra.MvPolynomial.Degrees#315
sentences: Algebra.smul_def, IsLocalMinOn.hasFDerivWithinAt_nonneg, CategoryTheory.GlueData.t_fac, source_sentence: Mathlib.Algebra.Group.Pointwise.Finset.Basic#679
sentences: eq_of_heq, add_right_injective, Summable.of_norm_bounded_eventually_nat, source_sentence: Mathlib.Algebra.Polynomial.FieldDivision#94
sentences: Polynomial.coe_normUnit, Nat.instCharZero, Multiset.map_congr, source_sentence: Mathlib.Analysis.SpecialFunctions.Complex.LogDeriv#35
sentences: Nat.cast_zero, Function.Injective.eq_iff, HasDerivAt.clog
Likes: 0 | All-time downloads: 242
Created: 2025-03-17 17:47:20