Model: sstoica12/acquisition_metamath_qwen3b_IF_proximity_500_combined_detailed Source: Original Platform