Hugging Face model: YuxuanGong/lean-RAG
Author: YuxuanGong
Created: 2026-06-09 01:19:16
Last modified: 2026-06-19 02:55:37
Pipeline: sentence-similarity
Library: sentence-transformers
Likes: 1 | Downloads: 120
Tags: sentence-transformers, safetensors, xlm-roberta, sentence-similarity, feature-extraction, mathlib4, lean4, formal-proof, retrieval, code-retrieval, math, en, zh, code, dataset:YuxuanGong/mathlib4-declarations, arxiv:2402.03216, base_model:BAAI/bge-m3, base_model:finetune:BAAI/bge-m3, license:apache-2.0, text-embeddings-inference, endpoints_compatible, region:us
Base model relation: finetune
Base models: id: BAAI/bge-m3
Card metadata:
tags: sentence-transformers, sentence-similarity, feature-extraction, mathlib4, lean4, formal-proof, retrieval, code-retrieval, math
language: en, zh, code
license: apache-2.0
pipeline_tag: sentence-similarity
library_name: sentence-transformers
base_model: BAAI/bge-m3
datasets: YuxuanGong/mathlib4-declarations
metrics: recall@1, recall@5, recall@10, mrr