AINeutralarXiv – CS AI · May 287/10
🧠Researchers reveal that language models verify factual information more reliably than they generate it, a phenomenon driven by distinct training dynamics rather than computational limitations. The study traces this generation-verification gap across model families and training phases, finding that models can simultaneously accept contradictory facts after updates, creating consistency issues for AI systems deployed as knowledge interfaces.
AIBullisharXiv – CS AI · May 17/10
🧠Researchers propose a schema-grounded approach to AI memory that treats persistent storage as a system of record rather than a search problem, using iterative extraction with validation gates. The method achieves 97.10% F1 on memory benchmarks and 95.2% accuracy on application tasks, significantly outperforming retrieval-based baselines and suggesting that memory architecture matters more than model scale alone.
AIBullisharXiv – CS AI · Mar 37/103
🧠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 · Jun 236/10
🧠Nous is a novel agent memory architecture that uses predictive world models based on probability distributions rather than traditional storage methods. Evaluated on the LoCoMo benchmark, it achieves competitive F1 scores across multiple memory tasks and outperforms comparable systems like A-MEM and BeliefMem, though the authors acknowledge reproducibility challenges in cross-system comparisons.
🧠 GPT-4
AINeutralarXiv – CS AI · Jun 235/10
🧠This academic paper investigates the expressive power of ASPIC+ argumentation frameworks when preference information is incomplete, comparing them against abstract formalisms with uncertain defeats. The research yields mostly negative results regarding expressivity limitations, while proposing a conjecture about a potential threshold for uncertain preference frameworks.
AINeutralarXiv – CS AI · Jun 196/10
🧠Researchers propose HISR, a hypergraph-based framework for semantic-aware communication that captures complex multi-entity relationships beyond traditional pairwise graph structures. The system achieves 36.6% improvement in semantic interpretation accuracy by mapping entities into context-specific semantic subspaces, enabling robust information recovery even under noisy channel conditions.
AINeutralarXiv – CS AI · Jun 126/10
🧠Researchers present a framework for evaluating procedural reasoning datasets in AI-supported learning systems by comparing three question-generation strategies based on Task-Method-Knowledge (TMK) models. The study demonstrates that strict TMK generation produces the most grounded and usable datasets (96.5% grounded), while transcript-based approaches sacrifice representational alignment for naturalness, highlighting the trade-off between learner-like phrasing and formal grounding in evaluation dataset construction.
AINeutralarXiv – CS AI · Jun 106/10
🧠Researchers introduce LLM-MapRepair, a framework enabling large language models to incrementally construct and repair topological navigation graphs from stepwise observations. The system addresses limitations of context-dependent spatial reasoning in LLMs by detecting and correcting structural inconsistencies, achieving 94.3% node recall and 88.2% edge recall on benchmark evaluations.
🏢 OpenAI🏢 Anthropic🧠 GPT-4
AINeutralarXiv – CS AI · Jun 96/10
🧠This paper integrates defeasible logic with standpoint logic to formally model knowledge across multiple contradictory viewpoints that may hold uncertain beliefs. The work provides theoretical foundations for Defeasible Restricted Standpoint Logics (DRSL) and proves that computational complexity remains unchanged when extending propositional KLM entailment relations to multi-standpoint settings.
AINeutralarXiv – CS AI · Jun 95/10
🧠A new research paper proposes neuro-quantum-fuzzy systems as an advanced knowledge representation approach that integrates ontologies, dense embeddings, and quantum computing to simultaneously support both probabilistic and deterministic inference—addressing a fundamental trade-off limitation in current systems that combine LLMs with knowledge graphs.
AINeutralarXiv – CS AI · Jun 56/10
🧠Researchers introduce SENSEI, an AI framework that identifies and corrects underlying user misconceptions rather than just addressing immediate behavioral errors. The system uses structured knowledge representation to provide targeted guidance, demonstrating 90% effectiveness in correcting misconceptions across long-horizon tasks in user studies.
AINeutralarXiv – CS AI · Jun 46/10
🧠Researchers propose a framework for multi-agent systems that treats disagreement as valuable information rather than error to be eliminated. The approach abstracts reasoning traces into four symbolic disagreement states and applies strategic routing rules to content moderation and AI collaboration tasks.
AINeutralarXiv – CS AI · Jun 26/10
🧠Researchers present a category-theoretic framework for agentic AI systems that can revise their own representational structures during scientific discovery, rather than merely generating answers within fixed assumptions. The work demonstrates how self-revising discovery systems can be engineered for materials science through two instantiated systems: Builder/Breaker and CategoryScienceClaw.
AINeutralarXiv – CS AI · Jun 25/10
🧠Researchers propose Abstract Worlds Semantics (AWS), a set-theoretic framework for modeling belief change operators without assuming logical syntax. The framework unifies classical and non-prioritized belief change constructions, providing a homogeneous account of AGM, KM, and Multiple Change models in propositional logic.
AINeutralarXiv – CS AI · May 296/10
🧠Researchers propose a meta-programming framework that enables flexible implementation of temporal logic extensions for Answer Set Programming (ASP) through a unified declarative system. The work introduces metasp, a tool that allows rapid exploration of different temporal logics—including linear-time (TEL), metric (MEL), and dynamic (DEL) variants—without modifying core ASP system code.
AINeutralarXiv – CS AI · May 276/10
🧠A academic position paper advocates for logical pluralism in formal reasoning systems, arguing that multiple non-classical logics should coexist within unified meta-logical frameworks like LogiKEy rather than relying on single foundational logics. The research draws from two decades of work embedding diverse logics in classical higher-order logic, positioning logical pluralism as essential for interdisciplinary knowledge representation and reasoning in computational systems.
AINeutralarXiv – CS AI · May 125/10
🧠Researchers introduce weighted rules under stable model semantics, combining logic programming with probabilistic methods similar to Markov Logic Networks. This advancement enables answer set programs to handle inconsistencies, rank solutions, assign probabilities, and perform statistical inference—moving beyond the deterministic limitations of traditional logic-based systems.
AINeutralarXiv – CS AI · May 125/10
🧠Cplus2ASP Version 2 is a new system that translates action language C+ into answer set programming, offering significant performance improvements over the Causal Calculator through modern ASP solving techniques. The tool supports incremental execution, external atoms via Lua integration, and extensible translations for other action languages, making it relevant for automated reasoning and planning applications.
AINeutralarXiv – CS AI · May 116/10
🧠Researchers extend bounded fitting—a machine learning paradigm for logical formula discovery—to more expressive description logics beyond ALC, maintaining PAC-style guarantees while implementing practical solutions via SAT solvers. The work demonstrates that this approach scales to complex logical systems with inverse roles and qualified restrictions, achieving competitive results against existing concept learners.
AINeutralarXiv – CS AI · May 115/10
🧠Researchers propose Cognitive Agent Compilation (CAC), a framework that uses large language models to create explicit, inspectable problem-solving agents for educational applications. The approach separates knowledge representation, problem-solving policy, and verification rules to make AI systems more controllable and transparent than standard LLMs, though it reveals trade-offs between interpretability and scalability.
AINeutralarXiv – CS AI · May 96/10
🧠Researchers propose a top-down approach to automatic heuristic design for combinatorial optimization using large language models, where interpretable knowledge becomes the primary search object rather than executable code. This knowledge-first paradigm improves discovery efficiency and generalization across problems compared to traditional code-centric methods, suggesting future progress in AI-driven optimization depends on building reusable, explicit hypotheses.
AINeutralarXiv – CS AI · May 16/10
🧠Researchers present a neuro-symbolic framework that combines first-order logic, causal models, and deep reinforcement learning to automatically synthesize, verify, and maintain safety-critical rule-based systems. The system uses LLMs to translate human-specified legal and safety principles into formal logical rules, with validation pipelines ensuring consistency and safety before deployment in autonomous systems.
AINeutralarXiv – CS AI · Apr 206/10
🧠Researchers propose DALM, a Domain-Algebraic Language Model that constrains token generation through structured denoising across domain lattices rather than unconstrained decoding. The framework uses algebraic constraints across three phases—domain, relation, and concept resolution—to prevent cross-domain knowledge interference and improve factual accuracy in specialized domains.
AINeutralarXiv – CS AI · Apr 156/10
🧠A new research paper proposes a governance framework for personal AI memory systems designed to function as 'companion' knowledge wikis that mirror user knowledge while compensating for epistemic failures like entrenchment and evidence suppression. The work addresses an emerging 2026 landscape of memory architectures for large language models through five operational mechanisms (TRIAGE, DECAY, CONTEXTUALIZE, CONSOLIDATE, AUDIT) aimed at preventing user-coupled drift in single-user knowledge systems.
AINeutralarXiv – CS AI · Apr 146/10
🧠Researchers identify a critical architectural gap in leading AI agent frameworks (CoALA and JEPA), which lack an explicit Knowledge layer with distinct persistence semantics. The paper proposes a four-layer decomposition model with fundamentally different update mechanics for knowledge, memory, wisdom, and intelligence, with working implementations demonstrating feasibility.
