Standard Neural Computation Alone Is Insufficient for Logical Intelligence

4 February 2025

Papers citing "Standard Neural Computation Alone Is Insufficient for Logical Intelligence"

20 / 20 papers shown

Title
DetermLR: Augmenting LLM-based Logical Reasoning from Indeterminacy to Determinacy Hongda Sun Weikai Xu Wei Liu Jian Luan Bin Wang Shuo Shang Ji-Rong Wen Rui Yan LRM 103 26 0 28 Oct 2023
Tree of Thoughts: Deliberate Problem Solving with Large Language Models Shunyu Yao Dian Yu Jeffrey Zhao Izhak Shafran Thomas Griffiths Yuan Cao Karthik Narasimhan LM&Ro LRM AI4CE 138 1,949 0 17 May 2023
Large Language Models Can Be Easily Distracted by Irrelevant Context Freda Shi Xinyun Chen Kanishka Misra Nathan Scales David Dohan Ed H. Chi Nathanael Scharli Denny Zhou ReLM RALM LRM 98 583 0 31 Jan 2023
Selection-Inference: Exploiting Large Language Models for Interpretable Logical Reasoning Antonia Creswell Murray Shanahan I. Higgins ReLM LRM 97 362 0 19 May 2022
Chain-of-Thought Prompting Elicits Reasoning in Large Language Models Jason W. Wei Xuezhi Wang Dale Schuurmans Maarten Bosma Brian Ichter F. Xia Ed H. Chi Quoc Le Denny Zhou LM&Ro LRM AI4CE ReLM 814 9,387 0 28 Jan 2022
Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks Prithviraj Sen B. W. Carvalho Ryan Riegel Alexander G. Gray NAI AI4CE 119 59 0 06 Dec 2021
From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey Giuseppe Marra Sebastijan Dumancic Robin Manhaeve Luc de Raedt NAI 48 61 0 25 Aug 2021
Explaining Neural Scaling Laws Yasaman Bahri Ethan Dyer Jared Kaplan Jaehoon Lee Utkarsh Sharma 62 261 0 12 Feb 2021
Neurosymbolic AI: The 3rd Wave Artur Garcez Luís C. Lamb NAI 90 308 0 10 Dec 2020
Logical Neural Networks Ryan Riegel Alexander G. Gray F. Luus Naweed Khan Ndivhuwo Makondo ... S. Ikbal Hima P. Karanam S. Neelam Ankita Likhyani S. Srivastava NAI 40 150 0 23 Jun 2020
From Statistical Relational to Neuro-Symbolic Artificial Intelligence Luc de Raedt Sebastijan Dumancic Robin Manhaeve Giuseppe Marra NAI 49 103 0 18 Mar 2020
Analyzing Differentiable Fuzzy Logic Operators Emile van Krieken Erman Acar F. V. Harmelen NAI AI4CE 86 134 0 14 Feb 2020
Scaling Laws for Neural Language Models Jared Kaplan Sam McCandlish T. Henighan Tom B. Brown B. Chess R. Child Scott Gray Alec Radford Jeff Wu Dario Amodei 602 4,801 0 23 Jan 2020
Neural Probabilistic Logic Programming in DeepProbLog Robin Manhaeve Sebastijan Dumancic Angelika Kimmig T. Demeester Luc de Raedt NAI 91 555 0 18 Jul 2019
SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver Po-Wei Wang P. Donti Bryan Wilder Zico Kolter LRM NAI 76 262 0 29 May 2019
Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning Artur Garcez Marco Gori Luís C. Lamb Luciano Serafini Michael Spranger Son N. Tran NAI 97 292 0 15 May 2019
Neural Logic Machines Honghua Dong Jiayuan Mao Tian Lin Chong-Jun Wang Lihong Li Denny Zhou NAI LRM AI4CE 127 249 0 26 Apr 2019
Learning Algorithms via Neural Logic Networks Ali Payani Faramarz Fekri NAI 42 29 0 02 Apr 2019
Neural-Symbolic Learning and Reasoning: A Survey and Interpretation Tarek R. Besold Artur Garcez Sebastian Bader Howard L. Bowman Pedro M. Domingos ... P. Lima L. Penning Gadi Pinkas Hoifung Poon Gerson Zaverucha LRM AI4CE 68 344 0 10 Nov 2017
End-to-End Differentiable Proving Tim Rocktaschel Sebastian Riedel NAI 96 381 0 31 May 2017