AINeutralarXiv – CS AI · Jun 236/10
🧠Researchers introduce αNeSy-CTM, a hybrid neurosymbolic framework combining Large Language Models with logical verification to automate clinical trial matching. The system achieves 30% relative improvement over zero-shot baselines by leveraging LLM language capabilities alongside formal symbolic reasoning to handle incomplete patient records and complex eligibility criteria.
AINeutralarXiv – CS AI · Jun 46/10
🧠Researchers have developed the Abduction Prover, a new automation tool for Isabelle/HOL that enhances proof search capabilities in formal verification. By using abductive reasoning to identify useful conjectures, the tool addresses the significant automation limitations that increase the computational cost of formal verification projects.
AINeutralarXiv – CS AI · Jun 16/10
🧠HypoAgent is a new AI framework that uses multiple specialized agents to generate logical hypotheses from knowledge graphs through interactive dialogue. The system excels at understanding evolving user intent across multi-turn conversations and diagnosing why generated hypotheses fail, achieving state-of-the-art performance on both commonsense and biomedical knowledge graphs.
AINeutralarXiv – CS AI · May 276/10
🧠Researchers conducted a controlled study on reinforcement learning with verifiable rewards (RLVR) for reasoning models, revealing that training data allocation across multiple reasoning dimensions—depth, environment complexity, and reasoning types—significantly impacts model performance. The study found that joint coverage of these dimensions outperforms single-axis training approaches, and that models exhibit systematic weaknesses in abductive reasoning regardless of training setup.
AIBearisharXiv – CS AI · Mar 276/10
🧠Researchers introduce MolQuest, a new benchmark for evaluating AI models' ability to perform complex chemical structure elucidation through multi-step reasoning. Even state-of-the-art AI models achieve only 50% accuracy on this real-world scientific task, revealing significant limitations in current AI systems' strategic reasoning capabilities.
AINeutralarXiv – CS AI · Mar 276/10
🧠Researchers evaluated whether large language models follow Occam's Razor principle when performing inductive and abductive reasoning, finding that while LLMs can handle simple scenarios, they struggle with complex world models and producing high-quality, simplified hypotheses. The study introduces a new framework for generating reasoning questions and an automated metric to assess hypothesis quality based on correctness and simplicity.
AINeutralarXiv – CS AI · Mar 55/10
🧠Researchers developed a neurosymbolic approach using social science theory and abductive reasoning to help Large Language Models transform text narratives while preserving core messages. The method achieved 55.88% improvement over baseline performance with GPT-4o when shifting between collectivistic and individualistic narrative frameworks.
🧠 GPT-4🧠 Llama🧠 Grok
AINeutralarXiv – CS AI · Mar 175/10
🧠Researchers propose a formal abductive explanation framework to analyze AI predictions of mental health help-seeking in tech workplaces. The framework aims to provide rigorous justifications for model outputs while examining the influence of sensitive attributes like gender to ensure fairness in AI-driven mental health interventions.
