{"id":"c6cb7a32-8485-4639-a7ef-2a58f9d69305","slug":"hf-model-scalablemath-lean-star-plus-1m261hb-r","name":"Lean-STaR-plus","description":"Hugging Face model ScalableMath/Lean-STaR-plus. Task: feature extraction. Library: transformers. 19 downloads. 2 likes.","capabilities":["transformers","safetensors","internlm2","feature-extraction","custom_code"],"protocols":[],"safetyScore":80,"overallRank":33,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:39:57.610Z"}