Time Is Effort: Estimating Human Post-Editing Time for Grammar Error Correction Tool Evaluation. - Ankit Vadehra; Bill Johnson; Gene Saunders; Pascal Poupart (CoRR, 2025)