Model: purewhite42/bm25_f_if
Author: purewhite42
Pipeline: sentence-similarity
Library: transformers
Tags: transformers, lean4, dependency-retrieval, formal-mathematics, sentence-similarity, en, base_model:BAAI/bge-m3, base_model:finetune:BAAI/bge-m3, license:apache-2.0, endpoints_compatible, region:us
Base models (finetune): id: BAAI/bge-m3
Card metadata: license: apache-2.0
language: en
base_model: BAAI/bge-m3
pipeline_tag: sentence-similarity
library_name: transformers
tags: lean4, dependency-retrieval, formal-mathematics
Likes: 0 | All-time downloads: 0
Created: 2025-02-25 11:50:24