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 149 30 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 221 2,055 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 133 599 0 31 Jan 2023
Selection-Inference: Exploiting Large Language Models for Interpretable Logical Reasoning Antonia Creswell Murray Shanahan I. Higgins ReLM LRM 115 366 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 973 9,784 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 140 61 0 06 Dec 2021
From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey Giuseppe Marra Sebastijan Dumancic Robin Manhaeve Luc de Raedt NAI 104 65 0 25 Aug 2021
Explaining Neural Scaling Laws Yasaman Bahri Ethan Dyer Jared Kaplan Jaehoon Lee Utkarsh Sharma 99 270 0 12 Feb 2021
Neurosymbolic AI: The 3rd Wave Artur Garcez Luís C. Lamb NAI 112 315 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 72 152 0 23 Jun 2020
From Statistical Relational to Neuro-Symbolic Artificial Intelligence Luc de Raedt Sebastijan Dumancic Robin Manhaeve Giuseppe Marra NAI 94 104 0 18 Mar 2020
Analyzing Differentiable Fuzzy Logic Operators Emile van Krieken Erman Acar F. V. Harmelen NAI AI4CE 122 137 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 668 4,935 0 23 Jan 2020
Neural Probabilistic Logic Programming in DeepProbLog Robin Manhaeve Sebastijan Dumancic Angelika Kimmig T. Demeester Luc de Raedt NAI 101 561 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 88 265 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 119 296 0 15 May 2019
Neural Logic Machines Honghua Dong Jiayuan Mao Tian Lin Chong-Jun Wang Lihong Li Denny Zhou NAI LRM AI4CE 141 250 0 26 Apr 2019
Learning Algorithms via Neural Logic Networks Ali Payani Faramarz Fekri NAI 70 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 95 347 0 10 Nov 2017
End-to-End Differentiable Proving Tim Rocktaschel Sebastian Riedel NAI 119 382 0 31 May 2017