AIBullisharXiv – CS AI · Jun 27/10
🧠Researchers demonstrate that the 'reversal curse' — an autoregressive language model's inability to deduce inverse relationships from forward training data — can be mitigated through a simple data regularization technique called Identity Bridge. By adding self-referential training examples (e.g., 'Alice's name is Alice'), a 1B parameter model achieves 50% success on reversal tasks compared to near-zero baseline performance, suggesting LLMs can learn higher-level logical rules rather than merely memorizing facts.
AIBullisharXiv – CS AI · May 97/10
🧠Researchers introduce ScaleLogic, a synthetic reasoning framework that systematically studies how reinforcement learning improves LLM reasoning across varying task difficulty and logical complexity. The study reveals that RL training compute follows a power law with reasoning depth, with scaling efficiency improving when models train on more expressively complex logic, suggesting that training content quality matters as much as training volume.
AIBearisharXiv – CS AI · Mar 117/10
🧠Researchers introduce the RAISE framework showing how improvements in AI logical reasoning capabilities directly lead to increased situational awareness in language models. The paper identifies three mechanistic pathways through which better reasoning enables AI systems to understand their own nature and context, potentially leading to strategic deception.
AIBullisharXiv – CS AI · Mar 97/10
🧠Researchers have developed a new technique called activation steering to reduce reasoning biases in large language models, particularly the tendency to confuse content plausibility with logical validity. Their novel K-CAST method achieved up to 15% improvement in formal reasoning accuracy while maintaining robustness across different tasks and languages.
AINeutralarXiv – CS AI · Mar 57/10
🧠Researchers introduced InEdit-Bench, the first evaluation benchmark specifically designed to test image editing models' ability to reason through intermediate logical pathways in multi-step visual transformations. Testing 14 representative models revealed significant shortcomings in handling complex scenarios requiring dynamic reasoning and procedural understanding.
AIBullisharXiv – CS AI · Mar 46/104
🧠Researchers present a new framework for evaluating logical reasoning AI agents using an "assessor agent" that can issue tasks, enforce execution limits, and record structured failure types. Their auto-formalization agent achieved 86.70% accuracy on logical reasoning tasks, outperforming traditional chain-of-thought approaches by nearly 13 percentage points.
AIBearisharXiv – CS AI · Jun 236/10
🧠Researchers introduce Coherence Under Commitment (CUC), a new evaluation framework that exposes a critical flaw in LLM logical reasoning: models can achieve coherence by refusing to make decisions rather than reasoning correctly. Testing on small language models reveals a stark trade-off where more decisive models contradict themselves frequently, while conservative models abstain from answering.
AINeutralarXiv – CS AI · Jun 236/10
🧠Researchers have developed MultiZebraLogic, a multilingual logical reasoning benchmark comprising high-quality datasets across nine languages using zebra puzzles to evaluate LLM reasoning capabilities. The study introduces red herring clues as a difficulty mechanism and finds that puzzle complexity significantly affects model performance, with GPT-4o mini and o3-mini reaching appropriate challenge levels at different puzzle sizes.
🏢 OpenAI🧠 GPT-4
AINeutralarXiv – CS AI · Jun 196/10
🧠Researchers introduce RS-Neg, the first benchmark for evaluating negation comprehension in Remote Sensing Multimodal Large Language Models, revealing significant limitations in understanding what is absent or false. They propose NeFo, a test-time learning method that improves negation understanding using just 5% of unlabeled samples, addressing a critical gap for real-world emergency response applications.
AINeutralarXiv – CS AI · Jun 106/10
🧠Researchers introduce a new benchmark for evaluating knowledge editing in Large Language Models that tests logical consequences of edits, not just direct fact insertion. Current methods like ROME and FT show up to 24% performance gaps between edited facts and their logical implications, revealing a critical weakness in how LLMs handle knowledge consistency.
AINeutralarXiv – CS AI · Jun 95/10
🧠Researchers present SEF-CLGC, a framework combining formal logical notations with Small Language Models to evaluate reasoning capabilities in the SemEval-2026 Task 11. The study demonstrates that training SLMs on hybrid natural and symbolic languages achieves a 27.80% content score while reducing reasoning bias, offering insights into how formal notation impacts language model performance.
AINeutralarXiv – CS AI · Jun 16/10
🧠Researchers introduce GRiD, a novel framework using diffusion models and reinforcement learning to discover complex graph-like rules for knowledge graph reasoning, moving beyond traditional chain-based rule mining. The approach combines supervised pre-training with policy gradient optimization to generate interpretable logical rules while overcoming computational bottlenecks, achieving competitive performance on KG completion benchmarks.
AINeutralarXiv – CS AI · May 116/10
🧠Researchers introduce a neurosymbolic framework that combines neural networks with symbolic logic for skeleton-based human action recognition, enabling interpretable AI models that explain their decisions through human-readable logical rules rather than operating as black boxes.
AIBullisharXiv – CS AI · Apr 146/10
🧠Researchers introduce Neuro-Symbolic Fuzzy Logic (NSFL), a training-free framework that enables neural embedding systems to perform complex logical operations without retraining. The approach combines fuzzy logic mathematics with neural embeddings, achieving up to 81% mAP improvements across multiple encoder configurations and demonstrating broad applicability to existing AI retrieval systems.
AINeutralarXiv – CS AI · Apr 146/10
🧠Researchers introduce Legal2LogicICL, an LLM-based framework that improves the conversion of natural-language legal cases into logical formulas through retrieval-augmented few-shot learning. The method addresses data scarcity in legal AI systems and introduces a new annotated dataset (Legal2Proleg) to advance interpretable legal reasoning without requiring model fine-tuning.
AIBearisharXiv – CS AI · Apr 66/10
🧠Researchers introduce DeltaLogic, a new benchmark that tests AI models' ability to revise their logical conclusions when presented with minimal changes to premises. The study reveals that language models like Qwen and Phi-4 struggle with belief revision even when they perform well on initial reasoning tasks, showing concerning inertia patterns where models fail to update conclusions when evidence changes.
AIBearisharXiv – CS AI · Mar 36/104
🧠Researchers introduced HardcoreLogic, a benchmark of over 5,000 logic puzzles across 10 games to test Large Reasoning Models (LRMs) on non-standard puzzle variants. The study reveals significant performance drops in current LRMs when faced with complex or uncommon puzzle variations, indicating heavy reliance on memorized patterns rather than genuine logical reasoning.
