The Efficiency–verification Trade-off in Large Language Model-Assisted Workplace Risk Assessment | AMiner