{"schemaVersion":"hugging-bay.publisher-profile.v1","generatedAt":"2026-10-31T14:07:30.681Z","namespace":"YuxuanGong","displayName":"YuxuanGong","claimed":false,"applicationStatus":null,"stats":{"artifacts":1,"publicArtifacts":1,"gatedArtifacts":0,"hostedArtifacts":0,"hostedFiles":0,"externalFiles":11,"totalFiles":11,"downloads":70,"stars":1,"updatedAt":"2026-09-24T03:28:41.530Z","reviewQualification":"self-reported-unqualified","reviewTrustImpact":"none"},"topArtifact":{"readiness":"blocked","downloadReady":false,"downloadable":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-31T14:06:02.597Z","readinessSource":"file-check","degraded":true,"stale":true,"serveExplanation":{"readiness":"blocked","downloadReady":false,"downloadable":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-31T14:06:02.597Z","readinessSource":"file-check","degraded":true,"stale":true},"id":"hf-model-yuxuangong-lean-rag","owner":"YuxuanGong","name":"lean-RAG","repo":"YuxuanGong/lean-RAG","type":"embedding","summary":"Model from Hugging Face for sentence similarity: YuxuanGong/lean-RAG · sentence transformers","cardDescription":"Turns text into vectors for search and similarity matching.","modelSummary":{"schemaVersion":"hugging-bay.model-summary.v1","text":"The catalog lists this model for checking whether two sentences mean similar things.","confidence":"medium","task":"sentence-similarity","audience":null,"basis":"recorded-metadata","rules":["task:sentence-similarity"],"evidence":[{"field":"license","value":"apache-2.0"},{"field":"cardMetadata.license","value":"apache-2.0"},{"field":"baseModel","value":"BAAI/bge-m3"},{"field":"task","value":"sentence-similarity"},{"field":"cardMetadata.pipelineTag","value":"sentence-similarity"}],"caveats":["check-license-terms","base-model-capabilities-not-inherited","repository-bytes-are-not-memory-needs"],"facts":{"license":{"id":"apache-2.0","status":"recorded"},"lineage":[{"repo":"BAAI/bge-m3","field":"baseModel"}],"parameters":null,"size":{"bytes":2288185353,"scope":"repository","field":"sizeBytes"},"form":"unspecified","runs":[]}},"publisher":"YuxuanGong","sourceUrl":"https://huggingface.co/YuxuanGong/lean-RAG","license":"apache-2.0","licenseState":"known","licenseLabel":"apache-2.0","visibility":"public","verificationStatus":"unknown","scanStatus":"passed","cardCompleteness":96,"tags":["huggingface-import","external-catalog","model","apache-2.0","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"],"task":"sentence-similarity","modality":"text","framework":"sentence-transformers","formats":["gitattributes","json","md","safetensors"],"baseModel":"BAAI/bge-m3","derivedFrom":"BAAI/bge-m3","cardMetadata":{"source":"huggingface-cardData","license":"apache-2.0","metrics":["recall@1","recall@5","recall@10","mrr"],"datasets":["YuxuanGong/mathlib4-declarations"],"paperIds":["2402.03216"],"repoType":"model","baseModel":"BAAI/bge-m3","languages":["en","zh","code"],"sourceUrl":"https://huggingface.co/YuxuanGong/lean-RAG","evalResults":[],"libraryName":"sentence-transformers","pipelineTag":"sentence-similarity","cardDataKeys":["base_model","datasets","language","library_name","license","metrics","pipeline_tag","tags","widget"],"semanticText":"sentence-similarity sentence-transformers embedding model en zh code yuxuangong/mathlib4-declarations recall@1 recall@5 recall@10 mrr baai/bge-m3 safetensors retrieval code-retrieval text-embeddings-inference","semanticTerms":["sentence-similarity","sentence-transformers","embedding","model","en","zh","code","yuxuangong/mathlib4-declarations","recall@1","recall@5","recall@10","mrr","baai/bge-m3","safetensors","retrieval","code-retrieval","text-embeddings-inference"],"siblingSample":[{"lfs":false,"path":".gitattributes","sizeBytes":1570},{"lfs":false,"path":"1_Pooling/config.json","sizeBytes":90},{"lfs":false,"path":"README.md","sizeBytes":7417},{"lfs":false,"path":"README_en.md","sizeBytes":11457},{"lfs":false,"path":"config.json","sizeBytes":743},{"lfs":false,"path":"config_sentence_transformers.json","sizeBytes":282},{"lfs":true,"path":"model.safetensors","sizeBytes":2271064408},{"lfs":false,"path":"modules.json","sizeBytes":429},{"lfs":false,"path":"sentence_bert_config.json","sizeBytes":241},{"lfs":true,"path":"tokenizer.json","sizeBytes":17098338},{"lfs":false,"path":"tokenizer_config.json","sizeBytes":378}],"modelIndexNames":[]},"worksWith":[],"runtimeFit":{"level":"unknown","label":"recorded runtime state unknown","hardware":"","sizeLabel":"unknown","runners":[],"runtimeFiles":[],"warnings":["No runtime compatibility or execution status claim is available until recorded evaluation is integrated."]},"sizeBytes":2288185353,"sizeKnown":true,"sizeLabel":"2.1 GB","sizeReason":"","declaredSizeBytes":2288185353,"defaultDownloadBytes":null,"mirrorCount":1,"downloadCount":70,"stars":1,"citations":0,"updatedAt":"2026-09-24T03:28:41.530Z","createdAt":"2026-06-30T04:16:34.004Z","version":"hf-main","upstream":{"gated":false,"repoId":"YuxuanGong/lean-RAG","private":false,"repoUrl":"https://huggingface.co/YuxuanGong/lean-RAG","disabled":false,"provider":"huggingface","repoType":"model","revision":"32b60c1127872de432959b2e00fb954e8f7e3cc1","fetchedAt":"2026-09-24T03:23:01.167Z","importMode":"external-catalog","licenseRaw":"apache-2.0"},"hosting":{"status":"blocked","mirroredAt":"2026-09-24T03:28:41.530Z","mirroredBy":"mirror-batch-worker","totalFiles":11,"hostedFiles":0,"mirroredBytes":0,"mirroredFiles":0,"storageProvider":"gcs","hosted":false,"downloadable":false,"verified":false,"completeRunnable":false,"runReady":false,"refreshedAt":null,"stale":false,"downloadReady":false},"mirrorCompletion":{"state":"unknown","reason":"recorded-snapshot-unavailable","completeRunnable":null,"verified":null,"runReady":null,"commandsAvailable":false,"manifestFinal":false,"downloadable":false,"hosted":false,"serveAuthority":"unbound","hostedFiles":0,"individuallyHashedFiles":0,"weightsHosted":null,"weightCountState":"not-snapshot-bound","strictlyDownloadableFiles":0,"strictlyDownloadableHashedFiles":0,"strictlyDownloadableWeights":null,"strictWeightCountState":"not-snapshot-bound","totalFiles":11,"scope":"file-inventory-only"},"decentralizedDistribution":{"protocol":"bittorrent-magnet-metadata","verifiedFallbacks":0,"pendingReviewRequests":0,"reviewRequired":true,"policy":"Peer-assisted fallbacks are metadata only until Hugging Bay review confirms source, license, provenance, and safety. Gated/private bypasses are not allowed."},"hostingStatus":"blocked","hosted":false,"fileCount":11,"publicDownloadableFileCount":0,"externalFileCount":11,"servingCountsRefreshedAt":null,"servingCountsStale":false,"signals":{"size":{"known":true,"bytes":2288185353,"label":"2.1 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":70,"upstreamStars":1,"label":"70 upstream downloads","basis":"upstream-downloads"},"trust":{"score":0,"level":"metadata-checked","label":"Unknown","qualification":"recorded-state-unknown","trustImpact":"none","checks":[{"id":"license","label":"License","status":"pass","detail":"apache-2.0"},{"id":"provenance","label":"Provenance","status":"pass","detail":"YuxuanGong/lean-RAG"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"external metadata only"},{"id":"manifest","label":"Byte manifest integrity","status":"warn","detail":"not final yet"}],"strengths":["License: apache-2.0","Provenance: YuxuanGong/lean-RAG","Scan: passed"],"gaps":["Hosted files: external metadata only","Byte manifest integrity: not final yet"]},"readiness":{"score":0,"level":"unknown","hostedFinal":false,"hostedFiles":0,"externalFiles":11,"totalFiles":11},"action":{"id":"request-mirror","label":"Request a complete representation","detail":"Capture demand for a reviewed, immutable representation with complete selected bytes.","href":"/artifact/hf-model-yuxuangong-lean-rag/mirrors"}},"sampleFiles":[{"path":".gitattributes","sizeBytes":1570,"format":"gitattributes","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"},{"path":"1_Pooling/config.json","sizeBytes":90,"format":"json","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"},{"path":"README.md","sizeBytes":7417,"format":"md","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"},{"path":"README_en.md","sizeBytes":11457,"format":"md","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"}],"contentControls":{"state":"not assessed","basis":"no_explicit_uploader_evidence","matchedTerms":[],"assessedAt":null},"contentControlsLabel":"Content controls: not assessed.","contentControlsAttribution":{"upstream":{"provider":"huggingface","repoId":"YuxuanGong/lean-RAG"}},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":"2026-10-31T14:06:02.597Z","evidence_url":"/api/manifests/hf-model-yuxuangong-lean-rag"}},"topTypes":[{"type":"embedding","count":1}],"topLicenses":[{"license":"apache-2.0","count":1}],"sourceCounts":[{"source":"huggingface","count":1}],"worksWith":[],"links":{"web":"https://huggingbay.xyz/publishers/YuxuanGong","api":"https://huggingbay.xyz/api/publishers/YuxuanGong","artifacts":"https://huggingbay.xyz/api/artifacts?summary=1&owner=YuxuanGong&limit=50","apply":"https://huggingbay.xyz/publishers/apply"},"artifacts":[{"readiness":"blocked","downloadReady":false,"downloadable":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-31T14:06:02.597Z","readinessSource":"file-check","degraded":true,"stale":true,"serveExplanation":{"readiness":"blocked","downloadReady":false,"downloadable":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-31T14:06:02.597Z","readinessSource":"file-check","degraded":true,"stale":true},"id":"hf-model-yuxuangong-lean-rag","owner":"YuxuanGong","name":"lean-RAG","repo":"YuxuanGong/lean-RAG","type":"embedding","summary":"Model from Hugging Face for sentence similarity: YuxuanGong/lean-RAG · sentence transformers","cardDescription":"Turns text into vectors for search and similarity matching.","modelSummary":{"schemaVersion":"hugging-bay.model-summary.v1","text":"The catalog lists this model for checking whether two sentences mean similar things.","confidence":"medium","task":"sentence-similarity","audience":null,"basis":"recorded-metadata","rules":["task:sentence-similarity"],"evidence":[{"field":"license","value":"apache-2.0"},{"field":"cardMetadata.license","value":"apache-2.0"},{"field":"baseModel","value":"BAAI/bge-m3"},{"field":"task","value":"sentence-similarity"},{"field":"cardMetadata.pipelineTag","value":"sentence-similarity"}],"caveats":["check-license-terms","base-model-capabilities-not-inherited","repository-bytes-are-not-memory-needs"],"facts":{"license":{"id":"apache-2.0","status":"recorded"},"lineage":[{"repo":"BAAI/bge-m3","field":"baseModel"}],"parameters":null,"size":{"bytes":2288185353,"scope":"repository","field":"sizeBytes"},"form":"unspecified","runs":[]}},"publisher":"YuxuanGong","sourceUrl":"https://huggingface.co/YuxuanGong/lean-RAG","license":"apache-2.0","licenseState":"known","licenseLabel":"apache-2.0","visibility":"public","verificationStatus":"unknown","scanStatus":"passed","cardCompleteness":96,"tags":["huggingface-import","external-catalog","model","apache-2.0","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"],"task":"sentence-similarity","modality":"text","framework":"sentence-transformers","formats":["gitattributes","json","md","safetensors"],"baseModel":"BAAI/bge-m3","derivedFrom":"BAAI/bge-m3","cardMetadata":{"source":"huggingface-cardData","license":"apache-2.0","metrics":["recall@1","recall@5","recall@10","mrr"],"datasets":["YuxuanGong/mathlib4-declarations"],"paperIds":["2402.03216"],"repoType":"model","baseModel":"BAAI/bge-m3","languages":["en","zh","code"],"sourceUrl":"https://huggingface.co/YuxuanGong/lean-RAG","evalResults":[],"libraryName":"sentence-transformers","pipelineTag":"sentence-similarity","cardDataKeys":["base_model","datasets","language","library_name","license","metrics","pipeline_tag","tags","widget"],"semanticText":"sentence-similarity sentence-transformers embedding model en zh code yuxuangong/mathlib4-declarations recall@1 recall@5 recall@10 mrr baai/bge-m3 safetensors retrieval code-retrieval text-embeddings-inference","semanticTerms":["sentence-similarity","sentence-transformers","embedding","model","en","zh","code","yuxuangong/mathlib4-declarations","recall@1","recall@5","recall@10","mrr","baai/bge-m3","safetensors","retrieval","code-retrieval","text-embeddings-inference"],"siblingSample":[{"lfs":false,"path":".gitattributes","sizeBytes":1570},{"lfs":false,"path":"1_Pooling/config.json","sizeBytes":90},{"lfs":false,"path":"README.md","sizeBytes":7417},{"lfs":false,"path":"README_en.md","sizeBytes":11457},{"lfs":false,"path":"config.json","sizeBytes":743},{"lfs":false,"path":"config_sentence_transformers.json","sizeBytes":282},{"lfs":true,"path":"model.safetensors","sizeBytes":2271064408},{"lfs":false,"path":"modules.json","sizeBytes":429},{"lfs":false,"path":"sentence_bert_config.json","sizeBytes":241},{"lfs":true,"path":"tokenizer.json","sizeBytes":17098338},{"lfs":false,"path":"tokenizer_config.json","sizeBytes":378}],"modelIndexNames":[]},"worksWith":[],"runtimeFit":{"level":"unknown","label":"recorded runtime state unknown","hardware":"","sizeLabel":"unknown","runners":[],"runtimeFiles":[],"warnings":["No runtime compatibility or execution status claim is available until recorded evaluation is integrated."]},"sizeBytes":2288185353,"sizeKnown":true,"sizeLabel":"2.1 GB","sizeReason":"","declaredSizeBytes":2288185353,"defaultDownloadBytes":null,"mirrorCount":1,"downloadCount":70,"stars":1,"citations":0,"updatedAt":"2026-09-24T03:28:41.530Z","createdAt":"2026-06-30T04:16:34.004Z","version":"hf-main","upstream":{"gated":false,"repoId":"YuxuanGong/lean-RAG","private":false,"repoUrl":"https://huggingface.co/YuxuanGong/lean-RAG","disabled":false,"provider":"huggingface","repoType":"model","revision":"32b60c1127872de432959b2e00fb954e8f7e3cc1","fetchedAt":"2026-09-24T03:23:01.167Z","importMode":"external-catalog","licenseRaw":"apache-2.0"},"hosting":{"status":"blocked","mirroredAt":"2026-09-24T03:28:41.530Z","mirroredBy":"mirror-batch-worker","totalFiles":11,"hostedFiles":0,"mirroredBytes":0,"mirroredFiles":0,"storageProvider":"gcs","hosted":false,"downloadable":false,"verified":false,"completeRunnable":false,"runReady":false,"refreshedAt":null,"stale":false,"downloadReady":false},"mirrorCompletion":{"state":"unknown","reason":"recorded-snapshot-unavailable","completeRunnable":null,"verified":null,"runReady":null,"commandsAvailable":false,"manifestFinal":false,"downloadable":false,"hosted":false,"serveAuthority":"unbound","hostedFiles":0,"individuallyHashedFiles":0,"weightsHosted":null,"weightCountState":"not-snapshot-bound","strictlyDownloadableFiles":0,"strictlyDownloadableHashedFiles":0,"strictlyDownloadableWeights":null,"strictWeightCountState":"not-snapshot-bound","totalFiles":11,"scope":"file-inventory-only"},"decentralizedDistribution":{"protocol":"bittorrent-magnet-metadata","verifiedFallbacks":0,"pendingReviewRequests":0,"reviewRequired":true,"policy":"Peer-assisted fallbacks are metadata only until Hugging Bay review confirms source, license, provenance, and safety. Gated/private bypasses are not allowed."},"hostingStatus":"blocked","hosted":false,"fileCount":11,"publicDownloadableFileCount":0,"externalFileCount":11,"servingCountsRefreshedAt":null,"servingCountsStale":false,"signals":{"size":{"known":true,"bytes":2288185353,"label":"2.1 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":70,"upstreamStars":1,"label":"70 upstream downloads","basis":"upstream-downloads"},"trust":{"score":0,"level":"metadata-checked","label":"Unknown","qualification":"recorded-state-unknown","trustImpact":"none","checks":[{"id":"license","label":"License","status":"pass","detail":"apache-2.0"},{"id":"provenance","label":"Provenance","status":"pass","detail":"YuxuanGong/lean-RAG"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"external metadata only"},{"id":"manifest","label":"Byte manifest integrity","status":"warn","detail":"not final yet"}],"strengths":["License: apache-2.0","Provenance: YuxuanGong/lean-RAG","Scan: passed"],"gaps":["Hosted files: external metadata only","Byte manifest integrity: not final yet"]},"readiness":{"score":0,"level":"unknown","hostedFinal":false,"hostedFiles":0,"externalFiles":11,"totalFiles":11},"action":{"id":"request-mirror","label":"Request a complete representation","detail":"Capture demand for a reviewed, immutable representation with complete selected bytes.","href":"/artifact/hf-model-yuxuangong-lean-rag/mirrors"}},"sampleFiles":[{"path":".gitattributes","sizeBytes":1570,"format":"gitattributes","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"},{"path":"1_Pooling/config.json","sizeBytes":90,"format":"json","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"},{"path":"README.md","sizeBytes":7417,"format":"md","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"},{"path":"README_en.md","sizeBytes":11457,"format":"md","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"}],"contentControls":{"state":"not assessed","basis":"no_explicit_uploader_evidence","matchedTerms":[],"assessedAt":null},"contentControlsLabel":"Content controls: not assessed.","contentControlsAttribution":{"upstream":{"provider":"huggingface","repoId":"YuxuanGong/lean-RAG"}},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":"2026-10-31T14:06:02.597Z","evidence_url":"/api/manifests/hf-model-yuxuangong-lean-rag"}}],"guidance":["Use publisher profiles to find official namespace releases and likely maintainers.","Claim status is a Hugging Bay namespace signal, not proof of upstream ownership unless verification is explicit.","Use hosted/downloadable rows plus manifests for automated downloads."],"note":{"summary":"Downloadable doesn't mean tested: this record says whether the exact file can be downloaded now, not that the model is complete or that it runs."}}