{"id":"59847b67-1c4c-4e86-9955-c24987b0e02c","slug":"hf-model-taterowney-informal-proof-to-informal-statement-premise-selector-nfl1p2-1s","name":"informal_proof_to_informal_statement_premise_selector","description":"Hugging Face model taterowney/informal_proof_to_informal_statement_premise_selector. Task: sentence similarity. Library: sentence-transformers. 22 downloads. 1 likes.","capabilities":["sentence-transformers","safetensors","qwen3","sentence-similarity","feature-extraction","generated_from_trainer","dataset_size:1796","loss:MultipleNegativesRankingLoss","arxiv:1908.10084","arxiv:1705.00652","base_model:Qwen/Qwen3-Embedding-0.6B","base_model:finetune:Qwen/Qwen3-Embedding-0.6B","text-embeddings-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":33,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:39:28.779Z"}