Model: hanwenzhu/all-distilroberta-v1-lr2e-4-bs1024-nneg3-ml-feb11
Author: hanwenzhu
Pipeline: sentence-similarity
Library: sentence-transformers
Tags: sentence-transformers, safetensors, roberta, sentence-similarity, feature-extraction, generated_from_trainer, dataset_size:4293921, 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:4293921, loss:MaskedCachedMultipleNegativesRankingLoss
widget: source_sentence: Mathlib.GroupTheory.Perm.Cycle.Factors#303
sentences: MvPolynomial.vars_add_subset, Equiv.Perm.Disjoint.commute, NormedStarGroup.norm_star, source_sentence: Mathlib.Analysis.SpecialFunctions.Pow.Real#316
sentences: Real.rpow_mul, Quotient.inductionOn₂', Monotone.add, source_sentence: Mathlib.Algebra.MonoidAlgebra.Degree#221
sentences: Set.mem_range, one_mul, LinearMap.mulLeft_apply, source_sentence: Mathlib.CategoryTheory.CofilteredSystem#53
sentences: fderiv_tsum_apply, one_mul, CategoryTheory.Functor.mem_eventualRange_iff, source_sentence: Mathlib.LinearAlgebra.CliffordAlgebra.Basic#46
sentences: CliffordAlgebra.mul_add_swap_eq_polar_of_forall_mul_self_eq, Finset.sum_congr, Set.Finite.subset
Likes: 0 | All-time downloads: 133
Created: 2025-02-11 16:47:42