Model: hanwenzhu/all-MiniLM-L12-v2-lr2e-4-bs256-nneg3-ml-ne5-apr25
Author: hanwenzhu
Pipeline: sentence-similarity
Library: sentence-transformers
Tags: sentence-transformers, safetensors, bert, sentence-similarity, feature-extraction, generated_from_trainer, dataset_size:8429545, 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:8429545, loss:MaskedCachedMultipleNegativesRankingLoss
widget: source_sentence: Mathlib.Analysis.Fourier.FiniteAbelian.PontryaginDuality#27
sentences: small_Pi, Nat.instNontrivial, CategoryTheory.Category.id_comp, source_sentence: Mathlib.Algebra.Homology.ShortComplex.PreservesHomology#158
sentences: Multiset.count_eq_zero, CategoryTheory.ShortComplex.hasRightHomology_of_preserves, ContinuousOn.restrict, source_sentence: Mathlib.Algebra.Lie.Basic#205
sentences: LieModuleHom.map_lie', SimpleGraph.Walk.concat_nil, Finset.prod_nonneg, source_sentence: Mathlib.Algebra.Module.Presentation.Basic#61
sentences: LinearMap.semilinearMapClass, if_neg, CategoryTheory.ShortComplex.mapRightHomologyIso_hom_naturality_assoc, source_sentence: Mathlib.Data.Bool.Count#6
sentences: List.count_not_add_count, mul_one, lie_zsmul
Likes: 0 | All-time downloads: 6
Created: 2025-04-25 17:55:03