metamath-llemma-7b / syn_180k_data_4infer_after.json

Commit History