Constraint-Guided Repair

Fixing errors in reasoning by making minimal changes that satisfy logical or evidential constraints.