Model: sstoica12/acquisition_metamath_qwen3b_IF_proximity_5000_verydetailed Source: Original Platform