- SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
2025/08/31 by Yanxiao Zhao, Zhao, Yanxiao, Yaqian Li +16 · 1 citation
Computer Science · #Automated reasoning #Control (management) #Deductive reasoning #Logical consequence #Logical reasoning #Memorization #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Reinforcement learning #Task (project management) #Topic Modeling #cs.AI #cs.LG #cs.LO
- Beyond Statistical Learning: Exact Learning Is Essential for General Intelligence
2025/06/30 by András György, György, András, Tor Lattimore +5 · 2 voices · 5 citations
Computer Science · Decision Sciences · #Algorithmic learning theory #Artificial general intelligence #Correctness #Deductive reasoning #Defeasible reasoning #Explainable Artificial Intelligence (XAI) #Forecasting Techniques and Applications #Machine Learning and Algorithms #Model-based reasoning #Qualitative reasoning #Reasoning system #cs.AI #cs.LG
- Reasoning LLMs are Wandering Solution Explorers
2025/05/26 by Jiahao Lu, Lu, Jiahao, Ziwei Xu +3 · 12 voices · 2 citations
Computer Science · Social Sciences · #Analytic reasoning #Artificial Intelligence in Law #Case-based reasoning #Causal reasoning #Deductive reasoning #Hallucinating #Process (computing) #Qualitative reasoning #Semantic Web and Ontologies #Simple (philosophy)
- TurnaboutLLM: A Deductive Reasoning Benchmark from Detective Games
2025/05/21 by Yuan Yuan, Yuan, Yuan, Min He +8 · 1 citation
Computer Science · Social Sciences · #Artificial Intelligence in Games #Artificial Intelligence in Law #Benchmark (surveying) #Case-based reasoning #Computation and Language (cs.CL) #Context (archaeology) #Deductive reasoning #FOS: Computer and information sciences #Model-based reasoning #Narrative #Natural Language Processing Techniques #Reasoning system #Space (punctuation) #Task (project management)
- Emergent Symbolic Mechanisms Support Abstract Reasoning in Large Language Models
2025/02/27 by Yukang Yang, Declan Campbell, Yang, Yukang +10 · 2 voices · 15 citations
Computer Science · Social Sciences · #Abstraction #Automated reasoning #Deductive reasoning #Explainable Artificial Intelligence (XAI) #Language and cultural evolution #Language understanding #Model-based reasoning #Reasoning system #Robustness (evolution) #Security token #Symbol (formal) #The Symbolic #Topic Modeling #cs.AI #cs.CL
- Inductive or Deductive? Rethinking the Fundamental Reasoning Abilities of LLMs
2024/07/31 by Kewei Cheng, Cheng, Kewei, Jingfeng Yang +23 · 3 voices · 10 citations
Computer Science · Social Sciences · #Artificial Intelligence in Law #Artificial intelligence #Computer science #Deductive reasoning #Inductive reasoning #Law, AI, and Intellectual Property #cs.AI
- Deductive Verification of Chain-of-Thought Reasoning
2023/06/06 by Zhan Ling, Yunhao Fang, Ling, Zhan +12 · 1 voice · 43 citations
Computer Science · #Adaptive reasoning #Advanced Graph Neural Networks #Analytic reasoning #Artificial intelligence #Automated reasoning #Case-based reasoning #Computer science #Context (archaeology) #Correctness #Deductive reasoning #Explainable Artificial Intelligence (XAI) #Knowledge representation and reasoning #Logical reasoning #Model-based reasoning #Natural language #Opportunistic reasoning #Process (computing) #Programming language #Qualitative reasoning #Reasoning system #Topic Modeling #cs.AI #cs.CL #cs.LG
- Evaluating the Logical Reasoning Ability of ChatGPT and GPT-4
2023/04/07 by Hanmeng Liu, Liu, Hanmeng, Ruoxi Ning +9 · 1 voice · 20 citations
Computer Science · #Artificial intelligence #Benchmark (surveying) #Computer science #Construct (python library) #Deductive reasoning #Inference #Logical consequence #Logical reasoning #Machine Learning and Data Classification #Natural Language Processing Techniques #Natural language #Natural language processing #Natural language understanding #Programming language #Topic Modeling #cs.AI #cs.CL
- Aligning the free-energy principle with Peirce’s logic of science and economy of research
2021/09/01 by Majid D. Beni, Majid Davoody Beni, Ahti-Veikko Pietarinen +1 · 1 citation
Arts and Humanities · Neuroscience · Physics and Astronomy · #Abductive reasoning #Computer science #Context (archaeology) #Deductive reasoning #Economics #Embodied and Extended Cognition #Epistemology #Inference #Mathematical economics #Origins and Evolution of Life #Philosophy #Philosophy and History of Science #Philosophy of science
- The emergence of reasoning by the disjunctive syllogism in early childhood
2016/05/27 by Shilpa Mody, Susan Carey · 35 citations
Mathematics · Psychology · #Artificial intelligence #Behavioral and Psychological Studies #Child and Animal Learning Development #Cognition #Cognitive and developmental aspects of mathematical skills #Cognitive psychology #Cognitive science #Comparative cognition #Computer science #Deductive reasoning #Inference #Linguistics #Logical reasoning #Psychology #Syllogism
- Are RCTs the Gold Standard?
2007/03/01 by Nancy Cartwright · 5 citations
Economics, Econometrics and Finance · Mathematics · Medicine · Psychology · #Advanced Causal Inference Techniques #Artificial intelligence #Causal inference #Computer science #Deductive reasoning #Econometrics #Epistemology #External validity #Gold standard (test) #Health Systems, Economic Evaluations, Quality of Life #Ideal (ethics) #Internal validity #Mathematics #Medicine #Population #Psychology #Randomized controlled trial #Set (abstract data type) #Social psychology #Statistical Methods and Inference #Statistics #Test (biology)
- Neural Bases of Motivated Reasoning: An fMRI Study of Emotional Constraints on Partisan Political Judgment in the 2004 U.S. Presidential Election
2006/10/27 by Drew Westen, Pavel S. Blagov, Keith A. Harenski +2 · 10 citations
Neuroscience · Psychology · Social Sciences · #Cognition #Cognitive psychology #Deductive reasoning #Epistemology #Motivated reasoning #Neural and Behavioral Psychology Studies #Neuroimaging #Neuroscience #Politics #Posterior cingulate #Posterior parietal cortex #Prefrontal cortex #Psychology #Psychology of Moral and Emotional Judgment #Social and Intergroup Psychology #Ventromedial prefrontal cortex
- Meta Reasoning in ACL2
2005/01/01 by Warren A. Hunt, Matt Kaufmann, Robert Bellarmine Krug +3 · 1 citation
Computer Science · #Artificial intelligence #Automated reasoning #Automated theorem proving #Computer science #Deductive reasoning #First-order logic #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Order (exchange) #Programming language #Rewriting #Theoretical computer science