Model: hanwenzhu/all-distilroberta-v1-lr2e-4-bs1024-nneg3-ml-feb04
Author: hanwenzhu
Pipeline: sentence-similarity
Library: sentence-transformers
Tags: sentence-transformers, safetensors, roberta, sentence-similarity, feature-extraction, generated_from_trainer, dataset_size:4232571, 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:4232571, loss:MaskedCachedMultipleNegativesRankingLoss
widget: source_sentence: Mathlib.Data.ENNReal.Operations#190
sentences: Finset.Nonempty.cons_induction, Set.mem_iUnion, exists_prop, source_sentence: Mathlib.LinearAlgebra.CliffordAlgebra.Basic#46
sentences: Int.sub_nonneg_of_le, SMulCommClass.symm, CategoryTheory.Category.id_comp, source_sentence: Mathlib.AlgebraicGeometry.ProjectiveSpectrum.StructureSheaf#23
sentences: hasFDerivAt_pi, Set.IsPWO.image_of_monotone, Pi.mul_apply, source_sentence: Mathlib.Data.Nat.ModEq#84
sentences: Nat.gcd_dvd_left, neg_neg, map_list_sum, source_sentence: Mathlib.AlgebraicGeometry.Noetherian#22
sentences: AlgebraicGeometry.of_affine_open_cover, pow_lt_pow_right_of_lt_one₀, LT.lt.trans_le
Likes: 0 | All-time downloads: 62
Created: 2025-02-04 18:38:56