Model: sstoica12/acquisition_metamath_qwen3b_IF_proximity_2000_combined_detailed Source: Original Platform