LFC-DA: Logical Formula-Controlled Data Augmentation for Enhanced Logical Reasoning
For complex logical data augmentation, heavy reliance on human annotation is costly, whereas direct generation with large language models yields uninterpretable and logically homogeneous examples. To address this, we present LFC-DA, a symbolic-logic-controlled pipeline: logical text is first mapped to propositional expressions, a compact rule library is compiled, and a bounded state-space search systematically discovers valid formulas that are then verbalized back into natural-language questions, ensuring both diversity and logical rigor under propositional logic. Experiments on ReClor and LogiQA show significant improvements in the logical-reasoning accuracy of pretrained models, confirming the effectiveness of LFC-DA for LLM-guided logical data augmentation.
Code (0)
등록된 구현이 없습니다.
Tasks
Data AugmentationLogical ReasoningSimilar Papers 제목 키워드 기반
Controlled Reformulation Testing for Logical Consistency in Large Language Models
Large language models (LLMs) frequently contradict themselves when the surface form of a logically equivalent question changes. We present a benchmark of 350 question families (1,750 total questions) for Controlled Refor…
Logical ReasoningAnatomy-informed Data Augmentation for Enhanced Prostate Cancer Detection
Data augmentation (DA) is a key factor in medical image analysis, such as in prostate cancer (PCa) detection on magnetic resonance images. State-of-the-art computer-aided diagnosis systems still rely on simplistic spatia…
AnatomyData AugmentationMedical Image AnalysisImproving Sequential Recommendations via Bidirectional Temporal Data Augmentation with Pre-training
Sequential recommendation systems are integral to discerning temporal user preferences. Yet, the task of learning from abbreviated user interaction sequences poses a notable challenge. Data augmentation has been identifi…
Data AugmentationKnowledge DistillationRecommendation SystemsSelf-Knowledge Distillation+1Your Language Model May Think Too Rigidly: Achieving Reasoning Consistency with Symmetry-Enhanced Training
Large Language Models (LLMs) have demonstrated strong reasoning capabilities across various tasks. However, even minor variations in query phrasing, despite preserving the underlying semantic meaning, can significantly a…
Arithmetic ReasoningData AugmentationLanguage ModelingLanguage ModellingDiff-Lung: Diffusion-Based Texture Synthesis for Enhanced Pathological Tissue Segmentation in Lung CT Scans
Accurate quantification of the extent of lung pathological patterns (fibrosis, ground-glass opacity, emphysema, consolidation) is prerequisite for diagnosis and follow-up of interstitial lung diseases. However, segmentat…
Data AugmentationDecision MakingSegmentationTexture Synthesis