Model: hanwenzhu/all-distilroberta-v1-lr2e-4-bs1024-nneg3-ml-feb22
Author: hanwenzhu
Pipeline: sentence-similarity
Library: sentence-transformers
Tags: sentence-transformers, safetensors, roberta, sentence-similarity, feature-extraction, generated_from_trainer, dataset_size:5702228, 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:5702228, loss:MaskedCachedMultipleNegativesRankingLoss
widget: source_sentence: Mathlib.CategoryTheory.Functor.Flat#6
sentences: CategoryTheory.Category.id_comp, Fin.isEmpty', HomologicalComplex₂.ι_totalDesc, source_sentence: Mathlib.Analysis.Calculus.FDeriv.Add#139
sentences: left_inv_eq_right_inv, CategoryTheory.Dial.hom_ext, funext, source_sentence: Mathlib.CategoryTheory.Dialectica.Monoidal#120
sentences: CategoryTheory.Limits.prod.map_snd_assoc, Set.nonempty_iff_ne_empty, instNatAtLeastTwo, source_sentence: Mathlib.Algebra.Lie.Submodule#327
sentences: add_comm, CategoryTheory.Category.comp_id, GaloisConnection.l_sup, source_sentence: Mathlib.Analysis.Convex.StoneSeparation#0
sentences: div_eq_mul_inv, AddCommMonoid.nat_isScalarTower, Nat.le_of_lt
Likes: 0 | All-time downloads: 116
Created: 2025-02-22 17:31:43