Model: hanwenzhu/all-MiniLM-L12-v2-lr2e-4-bs256-nneg3-ml-ne5-mar17
Author: hanwenzhu
Pipeline: sentence-similarity
Library: sentence-transformers
Tags: sentence-transformers, safetensors, bert, sentence-similarity, feature-extraction, generated_from_trainer, dataset_size:5817740, loss:MaskedCachedMultipleNegativesRankingLoss, arxiv:1908.10084, arxiv:2101.06983, base_model:sentence-transformers/all-MiniLM-L12-v2, base_model:finetune:sentence-transformers/all-MiniLM-L12-v2, text-embeddings-inference, endpoints_compatible, region:us
Base models (finetune): id: sentence-transformers/all-MiniLM-L12-v2
Card metadata: base_model: sentence-transformers/all-MiniLM-L12-v2
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.Data.Finset.Option#52
sentences: neg_inj, CategoryTheory.Limits.HasCokernels.has_colimit, Finset.mem_image, source_sentence: Mathlib.Analysis.Calculus.FDeriv.Mul#68
sentences: eq_of_heq, Option.some.injEq, Fin.le_last, source_sentence: Mathlib.Data.Finset.Option#52
sentences: Set.biInter_and', Int.natCast_dvd_natCast, Finset.mem_erase, source_sentence: Mathlib.Algebra.GCDMonoid.Finset#74
sentences: gcd_zero_left, HasFDerivWithinAt.uniqueDiffWithinAt, Polynomial.Monic.map, source_sentence: Mathlib.Algebra.Polynomial.HasseDeriv#31
sentences: Set.mem_inter_iff, Polynomial.hasseDeriv_coeff, HomologicalComplex.isZero_X_of_isStrictlySupported
Likes: 0 | All-time downloads: 12
Created: 2025-03-17 23:05:52