#logical-consistency News & Analysis

5 articles tagged with #logical-consistency. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

5 articles

AIBullisharXiv – CS AI · 3d ago7/10

🧠

PolarMem: A Training-Free Polarized Latent Graph Memory for Verifiable Vision-Language Models

Researchers introduce PolarMem, a training-free memory framework that enhances vision-language models by explicitly tracking what has been verified as absent or excluded, not just what is similar. The system uses a polarized graph structure with positive and negative memory relations to reduce logical contradictions and improve reasoning reliability across multiple multimodal benchmarks.

AIBullisharXiv – CS AI · May 77/10

🧠

RLearner-LLM: Balancing Logical Grounding and Fluency in Large Language Models via Hybrid Direct Preference Optimization

Researchers introduce RLearner-LLM, a hybrid optimization method that combines NLI (Natural Language Inference) signals with LLM verification to address a critical flaw in Direct Preference Optimization: the tendency to reward verbose but logically incorrect outputs. The approach achieves up to 6x improvement in logical consistency across academic domains while maintaining inference speed, demonstrating that logic-aware metrics outperform traditional LLM-based evaluation for knowledge-intensive tasks.

🧠 GPT-4

AIBullisharXiv – CS AI · Mar 37/103

🧠

Bilinear representation mitigates reversal curse and enables consistent model editing

Researchers have identified that the 'reversal curse' in language models - their inability to infer 'B is A' from 'A is B' - can be overcome through bilinear representation structures. Training models on synthetic relational knowledge graphs creates internal geometries that enable consistent model editing and logical inference of reverse facts.

AINeutralarXiv – CS AI · May 96/10

🧠

Towards Annotation-Free Validation of MLLMs: A Vision-Language Logical Consistency Metric

Researchers propose Vision-Language Logical Consistency Metric (VL-LCM), a novel evaluation framework for multimodal large language models that assesses logical coherence without requiring ground-truth annotations. Testing 11 MLLMs across benchmarks including MMMU and NaturalBench reveals that while accuracy has improved significantly, logical consistency substantially lags, suggesting current models make confident but logically inconsistent predictions.

AINeutralarXiv – CS AI · Apr 206/10

🧠

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants

Researchers propose a symbolic reasoning framework that implements Peirce's abductive-deductive-inductive reasoning model to address systematic weaknesses in large language model logical reasoning. The system enforces logical consistency through five algebraic invariants, with the Weakest Link bound preventing unreliable premises from corrupting multi-step inference chains.