MODEL COMPARISON

Tradeoffs, side by side.

Select up to four models. These signals narrow the shortlist; benchmark on your own workload before deploying.

sentence-transformers/all-MiniLM-L6-v2sentence-similaritycross-encoder/ms-marco-MiniLM-L6-v2text-rankingBAAI/bge-small-en-v1.5feature-extractionsentence-transformers/paraphrase-multilingual-MiniLM-L12-v2sentence-similaritygoogle/electra-base-discriminatorgeneral AIgoogle-bert/bert-base-uncasedfill-maskBAAI/bge-m3sentence-similarityQwen/Qwen3-0.6Btext-generationgoogle-t5/t5-smalltranslationamazon/chronos-2time-series-forecastingComfy-Org/MiniMax-H3general AIopenai/clip-vit-base-patch32zero-shot-image-classificationtimm/mobilenetv3_small_100.lamb_in1kimage-classificationsentence-transformers/all-mpnet-base-v2sentence-similarityFacebookAI/xlm-roberta-basefill-maskQwen/Qwen3-VL-8B-Instructimage-text-to-textBAAI/bge-reranker-v2-m3text-classificationjonatasgrosman/wav2vec2-large-xlsr-53-japaneseautomatic-speech-recognitionopenai-community/gpt2text-generationnomic-ai/nomic-embed-text-v1.5sentence-similarity

Signal	Goedel-LM/Goedel-Prover-V2-32B
Task	text-generation
Parameters	32.0B
Minimum VRAM	80 GB
Recommended VRAM	128 GB
License	apache-2.0
Commercial signal	LIKELY_ALLOWED
Downloads	5,867
Likes	74
Source	Hugging Face ↗