大模型推理能力

Exploiting Contextual Structure to Generate Useful Auxiliary Tasks

Benedict Quartey, Ankit Shah, George Konidaris

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI、cs.LG

Meta-Cognitive Analysis: Evaluating Declarative and Procedural Knowledge in Datasets and Large Language Models

Zhuoqun Li, Hongyu Lin, Yaojie Lu, Hao Xiang, Xianpei Han, Le Sun

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL、cs.AI

Comments Accepted by LREC-COLING 2024 as a short paper

Softened Symbol Grounding for Neuro-symbolic Systems

Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian Lü

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI、cs.LG

Comments Published as a conference paper at ICLR 2023. Code is available at https://github.com/SoftWiser-group/Soften-NeSy-learning

RL-GPT: Integrating Reinforcement Learning and Code-as-policy

Shaoteng Liu, Haoqi Yuan, Minda Hu, Yanwei Li, Yukang Chen, Shu Liu, Zongqing Lu, Jiaya Jia

专题命中 逻辑推理 ：planning(abstract)；分类 cs.AI、cs.LG

Improving Neural-based Classification with Logical Background Knowledge

Arthur Ledaguenel, Céline Hudelot, Mostepha Khouadjia

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI、cs.LG

Comments 9 pages, 3 figures, submitted to IJCAI 2024

Combining Machine Learning and Ontology: A Systematic Literature Review

Sarah Ghidalia, Ouassila Labbani Narsis, Aurélie Bertaux, Christophe Nicolle

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI、cs.LG

Chain of History: Learning and Forecasting with LLMs for Temporal Knowledge Graph Completion

Ruilin Luo, Tianle Gu, Haoling Li, Junzhe Li, Zicheng Lin, Jiayi Li, Yujiu Yang

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL、cs.AI

Comments 15 pages; typos corrected, references added

Three Pathways to Neurosymbolic Reinforcement Learning with Interpretable Model and Policy Networks

Peter Graf, Patrick Emami

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI、cs.LG

Enhancing Robustness in Biomedical NLI Models: A Probing Approach for Clinical Trials

Ata Mustafa

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL、cs.LG

ConstraintChecker: A Plugin for Large Language Models to Reason on Commonsense Knowledge Bases

Quyet V. Do, Tianqing Fang, Shizhe Diao, Zhaowei Wang, Yangqiu Song

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL、cs.AI

Comments Proceedings of EACL 2024

Optimisation in Neurosymbolic Learning Systems

Emile van Krieken

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI、cs.LG

Comments PhD dissertation

The two-way knowledge interaction interface between humans and neural networks

Zhanliang He, Nuoye Xiong, Hongsheng Li, Peiyi Shen, Guangming Zhu, Liang Zhang

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI、cs.LG

Localized Symbolic Knowledge Distillation for Visual Commonsense Models

Jae Sung Park, Jack Hessel, Khyathi Raghavi Chandu, Paul Pu Liang, Ximing Lu, Peter West, Youngjae Yu, Qiuyuan Huang, Jianfeng Gao, Ali Farhadi, Yejin Choi

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL、cs.AI

Comments Neurips 2023

MindGames: Targeting Theory of Mind in Large Language Models with Dynamic Epistemic Modal Logic

Damien Sileo, Antoine Lernould

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL、cs.AI

Comments Accepted at EMNLP Findings 2023

Image Manipulation via Multi-Hop Instructions -- A New Dataset and Weakly-Supervised Neuro-Symbolic Approach

Harman Singh, Poorva Garg, Mohit Gupta, Kevin Shah, Ashish Goswami, Satyam Modi, Arnab Kumar Mondal, Dinesh Khandelwal, Dinesh Garg, Parag Singla

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL、cs.AI

Comments EMNLP 2023 (long paper, main conference)

Does Your Model Think Like an Engineer? Explainable AI for Bearing Fault Detection with Deep Learning

Thomas Decker, Michael Lebacher, Volker Tresp

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI、cs.LG

Comments 2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)

Impact of time and note duration tokenizations on deep learning symbolic music modeling

Nathan Fradet, Nicolas Gutowski, Fabien Chhel, Jean-Pierre Briot

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI、cs.LG

Comments ISMIR 2023

"Would life be more interesting if I were in AI?" Answering Counterfactuals based on Probabilistic Inductive Logic Programming

Kilian Rückschloß, Felix Weitkämper

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI、cs.LG

Comments In Proceedings ICLP 2023, arXiv:2308.14898

Journal ref EPTCS 385, 2023, pp. 58-64

Getting from Generative AI to Trustworthy AI: What LLMs might learn from Cyc

Doug Lenat, Gary Marcus

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI、cs.LG

Comments 21 pages, 1 Figure

GPT-3 Models are Few-Shot Financial Reasoners

Raul Salles de Padua, Imran Qureshi, Mustafa U. Karakaplan

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL、cs.AI

Comments 15 pages, 8 figures

Journal ref CS & IT Conference Proceedings (2023), volume 13, number 12, pages 183-197

Leveraging Large Language Models to Generate Answer Set Programs

Adam Ishay, Zhun Yang, Joohyung Lee

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL、cs.AI

Comments 17 pages, KR 2023

Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer

Zhun Yang, Adam Ishay, Joohyung Lee

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI、cs.LG

Comments 22 pages. The Eleventh International Conference on Learning Representations (ICLR 2023)

Neuro-Symbolic Bi-Directional Translation -- Deep Learning Explainability for Climate Tipping Point Research

Chace Ashcraft, Jennifer Sleeman, Caroline Tang, Jay Brett, Anand Gnanadesikan

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI、cs.LG

Large Language Models are In-Context Semantic Reasoners rather than Symbolic Reasoners

Xiaojuan Tang, Zilong Zheng, Jiaqi Li, Fanxu Meng, Song-Chun Zhu, Yitao Liang, Muhan Zhang

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL、cs.AI

Neuro-Symbolic Approaches for Context-Aware Human Activity Recognition

Luca Arrotta, Gabriele Civitarese, Claudio Bettini

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI、cs.LG

Utterance Classification with Logical Neural Network: Explainable AI for Mental Disorder Diagnosis

Yeldar Toleubay, Don Joven Agravante, Daiki Kimura, Baihan Lin, Djallel Bouneffouf, Michiaki Tatsubori

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL、cs.AI

Comments ACL 2023

Hidden Schema Networks

Ramsés J. Sánchez, Lukas Conrads, Pascal Welke, Kostadin Cvejoski, César Ojeda

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL、cs.AI

Comments accepted at ACL 2023

Generating Data for Symbolic Language with Large Language Models

Jiacheng Ye, Chengzu Li, Lingpeng Kong, Tao Yu

专题命中 逻辑推理 ：verifier(abstract)；分类 cs.CL、cs.AI

Neurosymbolic AI and its Taxonomy: a survey

Wandemberg Gibaut, Leonardo Pereira, Fabio Grassiotto, Alexandre Osorio, Eder Gadioli, Amparo Munoz, Sildolfo Gomes, Claudio dos Santos

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI、cs.LG

Comments submitted to ACM Computing Surveys

From Zero to Hero: Examining the Power of Symbolic Tasks in Instruction Tuning

Qian Liu, Fan Zhou, Zhengbao Jiang, Longxu Dou, Min Lin

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL、cs.AI

Comments Work in Progress. The code is released at https://github.com/sail-sg/symbolic-instruction-tuning