{"id":"10ee3b2e-f503-46fc-9646-38df676ed462","slug":"hf-model-ruc-ai4math-leanstatesearch2025-3-5nbzqe-x","name":"LeanStateSearch2025.3","description":"Hugging Face model ruc-ai4math/LeanStateSearch2025.3. Task: sentence similarity. 53 downloads. 1 likes.","capabilities":["safetensors","bert","sentence-similarity","arxiv:2501.13959"],"protocols":[],"safetyScore":80,"overallRank":35.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:06.361Z"}