Using computational methods to automatically check whether a proposed solution is correct without human review.