{"id":"cb0156a6-eb14-468e-9ea5-55d8b7d8a3ee","slug":"hf-model-yuxuangong-lean-rag-in92wy-j","name":"lean-RAG","description":"Hugging Face model YuxuanGong/lean-RAG. Task: sentence similarity. Library: sentence-transformers. 106 downloads. 1 likes.","capabilities":["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"],"protocols":[],"safetyScore":80,"overallRank":37,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:32.347Z"}