Model: hanwenzhu/all-roberta-large-v1-lr5e-5-bs256-nneg3-ml-mar16
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-roberta-large-v1, base_model:finetune:sentence-transformers/all-roberta-large-v1, text-embeddings-inference, endpoints_compatible, region:us
Base models (finetune): id: sentence-transformers/all-roberta-large-v1
Card metadata: base_model: sentence-transformers/all-roberta-large-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.Analysis.SpecialFunctions.Trigonometric.Angle#232
sentences: Set.image_eq_preimage_of_inverse, Set.mem_Ioc, RingHomIsometric.ids, source_sentence: Mathlib.Data.Real.Irrational#20
sentences: StrictOrderedSemiring.toCharZero, Multiset.product, Nat.mul_mod_right, source_sentence: Mathlib.Data.Nat.Size#1
sentences: CategoryTheory.GlueData.t_fac, List.prod_map_ite, Nat.bit_val, source_sentence: Mathlib.FieldTheory.IntermediateField.Adjoin.Basic#163
sentences: CanonicallyOrderedAdd.toZeroLeOneClass, Polynomial.coeff_map, sInf_image, source_sentence: Mathlib.Algebra.Polynomial.FieldDivision#94
sentences: normalize_apply, DifferentiableWithinAt.hasFDerivWithinAt, CategoryTheory.Limits.functorCategoryHasLimitsOfSize
Likes: 0 | All-time downloads: 52
Created: 2025-03-16 14:17:30