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 · 20h ago6/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 · 1d ago6/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 · 3d ago6/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 · 3d ago5/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.
AINeutralarXiv – CS AI · Apr 146/10
🧠Researchers present OIDA, a framework that adds epistemic structure to organizational knowledge systems by tracking commitment strength, contradiction status, and gaps in understanding. The framework introduces a QUESTION primitive that surfaces organizational ignorance with increasing urgency, addressing a capability absent from current retrieval-augmented generation (RAG) systems.
AINeutralarXiv – CS AI · Apr 146/10
🧠This academic paper proposes a neuro-symbolic approach for AGI robots combining neural networks with formal logic reasoning using Belnap's 4-valued logic system. The framework enables robots to handle unknown information, inconsistencies, and paradoxes while maintaining controlled security through axiom-based logic inference.
AIBearisharXiv – CS AI · Mar 266/10
🧠A research paper argues that Large Language Models lack true intelligence and understanding compared to humans, as they rely on written discourse rather than tacit knowledge built through social interaction. The authors demonstrate this through examples like the Monty Hall problem, showing that LLM improvements come from changes in training data rather than enhanced reasoning abilities.
🧠 ChatGPT
AINeutralarXiv – CS AI · Apr 205/10
🧠Researchers conducted a systematic cross-domain study evaluating how large language models generate Competency Questions (CQs)—natural language requirements for ontology engineering. Using both open-source models (Llama, KimiK2) and proprietary systems (GPT-4, Gemini 2.5), they identified measurable differences in readability, relevance, and structural complexity, revealing that LLM performance varies significantly by use case.
🧠 GPT-4🧠 Gemini
AINeutralarXiv – CS AI · Feb 274/105
🧠A new academic paper demonstrates that AGM belief revision logic contains KM belief update logic, showing that AGM belief revision can be viewed as a special case of KM belief update. The research uses modal logic with three operators to prove this theoretical relationship between two foundational frameworks in artificial intelligence reasoning.
AINeutralarXiv – CS AI · Feb 274/105
🧠Researchers propose using category theory to formalize knowledge domains and construct analogies between different fields. The paper demonstrates this approach using the classic analogy between the solar system and hydrogen atom, showing how mathematical structures like functors and pullbacks can define analogical relationships.
$ATOM
