DualGuard: Dual-Mode Quality Control for Logic-Preserving Data Augmentation
Organizations: Guangzhou University, Guangzhou, China
Abstract
Large language models provide a practical way to generate augmented data for logical reasoning at scale, but a larger generation volume does not guarantee semantic, label, or logical reliability. Existing work has improved generation quality through generation constraints, candidate validation, filtering, and feedback-based revision; however, once a quality judgment is available, deciding whether a candidate should be retained, filtered, or repaired remains an important control problem. We propose DualGuard, a dual-mode quality-control framework for logic-preserving data augmentation. The first mode uses the current instance and candidate batch for selective retention, filtering, attribution, and targeted feedback. The second mode accumulates cross-instance execution records of augmentation actions on top of per-sample diagnosis and attribution, compares new executions against each action's own historical behavior, and supports retrospective anomaly inspection, targeted rollback, and bounded repair. Both modes share semantic verification and additionally use symbolic verification when a reliable logical form is available. Across seven downstream tasks in the Two-Stage Transfer setting, DualGuard achieves the highest Accuracy on five tasks and outperforms the no-augmentation BERT baseline on all seven. Controlled ablations further show complementary roles for Memory, Z3, and history-aware anomaly control.
Figures & tables
| Method | FOILO | ProofWriter | LogicQA | ReClor | RTE | CB | LogDed |
| BERT | 51.89 | 52.87 | 29.70 | 46.20 | 65.22 | 85.12 | 17.33 |
| AugGPT | 50.57 | 59.63 | 30.41 | 47.13 | 69.80 | 83.93 | 24.00 |
| AttrPrompt | 56.27 | 56.94 | 30.62 | 48.13 | 70.04 | 85.71 | 21.33 |
| CoTAM | 56.65 | 54.81 | 29.95 | 47.73 | 71.24 | 87.50 | 20.89 |
| FlipDA | 53.04 | 56.57 | 29.54 | 49.40 | 70.16 | 90.48 | 24.89 |
| DualGuard | 57.47 | 61.02 | 31.49 | 49.67 | 69.92 | 86.31 | 25.67 |
| Method | FOILO | ProofWriter | RTE | CB |
| BERT | 42.67 | 45.33 | 50.00 | 70.83 |
| AugGPT | 43.33 | 48.67 | 53.00 | 75.00 |
| AttrPrompt | 44.67 | 53.33 | 54.99 | 72.92 |
| CoTAM | 43.33 | 38.00 | 66.01 | 75.00 |
| FlipDA | 44.67 | 41.33 | 64.05 | 77.08 |
| DualGuard | 44.67 | 54.67 | 57.04 | 79.17 |
| Variant | FOILO | ProofWriter | LogicQA | ReClor | RTE | CB | LogDed |
| Full | 59.28 | 61.02 | 31.49 | 50.20 | 71.08 | 85.12 | 25.78 |
| w/o Memory | 57.97 | 57.78 | 29.24 | 45.73 | 70.95 | 85.12 | 22.67 |
| w/o Z3 | 57.31 | 58.98 | 28.42 | 46.13 | 69.61 | 85.12 | 21.78 |
| w/o Variance | 59.11 | 56.85 | 29.60 | 47.07 | 66.93 | 80.36 | 24.89 |
| Dataset | Sample validity | Logic/label | Transformation | Language | Difference |
| CB | 25/25 | 25/25 | 25/25 | 4.96 | 3.45 |
| FOILO | 25/25 | 25/25 | 25/25 | 4.92 | 4.05 |
| ProofWriter | 25/25 | 25/25 | 25/25 | 4.95 | 3.75 |
| RTE | 25/25 | 25/25 | 25/25 | 4.96 | 3.35 |
| Simple Logic | 25/25 | 25/25 | 25/25 | 4.88 | 4.10 |
| Candidate set | Mean reward | Logic pass | High risk | |
| Initial candidates | 30 | 6.86 | 86.67% | 13.33% |
| Low-reward outliers | 8 | 1.59 | 50.00% | 50.00% |
| Attribution-guided refills | 35 | 8.35 | 91.43% | 8.57% |
| Final accepted | 32 | 9.09 | 100.00% | 0.00% |
| Outcome | Count |
| Completed controlled trials | 30 |
| Historical low-reward outliers | 6 |
| Strict repair successes | 3 |
| Valid repairs without reward gain | 1 |
Data Augmentation
Data augmentation expands or transforms training examples to improve learning, data efficiency, and robustness to distribution shifts.
See all 239 papers