Model: sstoica12/acquisition_metamath_qwen3b_IF_proximity_5000_combined_metamath Source: Original Platform