Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs

Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs

16 November 2023

Xin Li

Leyang Cui

Papers citing "Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs"

11 / 11 papers shown

Title
SymRTLO: Enhancing RTL Code Optimization with LLMs and Neuron-Inspired Symbolic Reasoning Yiting Wang Wanghao Ye Ping Guo Yexiao He Z. Wang ... Sihan Chen Ankur Srivastava Qingfu Zhang Gang Qu Ang Li 28 0 0 14 Apr 2025
Neuro-Symbolic AI in 2024: A Systematic Review Brandon C. Colelough William Regli NAI 43 9 0 09 Jan 2025
Thought-Like-Pro: Enhancing Reasoning of Large Language Models through Self-Driven Prolog-based Chain-of-Thought Xiaoyu Tan Yongxin Deng Xihe Qiu Weidi Xu Chao Qu Wei Chu Yinghui Xu Yuan Qi LRM AI4CE LM&Ro 18 2 0 18 Jul 2024
Arithmetic Reasoning with LLM: Prolog Generation & Permutation Xiaocheng Yang Bingsen Chen Yik-Cheung Tam LRM 18 6 0 28 May 2024
A Survey on the Integration of Generative AI for Critical Thinking in Mobile Networks Athanasios Karapantelakis Alexandros Nikou Ajay Kattepur Jean Martins Leonid Mokrushin S. Mohalik Marin Orlic Aneta Vulgarakis Feljan 16 0 0 10 Apr 2024
GSM-Plus: A Comprehensive Benchmark for Evaluating the Robustness of LLMs as Mathematical Problem Solvers Qintong Li Leyang Cui Xueliang Zhao Lingpeng Kong Wei Bi LRM 19 35 0 29 Feb 2024
Puzzle Solving using Reasoning of Large Language Models: A Survey Panagiotis Giadikiaroglou Maria Lymperaiou Giorgos Filandrianos Giorgos Stamou ELM ReLM LRM 8 22 0 17 Feb 2024
Large Language Models Can Learn Temporal Reasoning Siheng Xiong Ali Payani Ramana Rao Kompella Faramarz Fekri LRM 17 67 0 12 Jan 2024
Entailer: Answering Questions with Faithful and Truthful Chains of Reasoning Oyvind Tafjord Bhavana Dalvi Peter Clark ReLM KELM LRM 46 40 0 21 Oct 2022
Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought Abulhair Saparov He He ELM LRM ReLM 116 270 0 03 Oct 2022
Self-Consistency Improves Chain of Thought Reasoning in Language Models Xuezhi Wang Jason W. Wei Dale Schuurmans Quoc Le Ed H. Chi Sharan Narang Aakanksha Chowdhery Denny Zhou ReLM BDL LRM AI4CE 297 3,163 0 21 Mar 2022