大模型推理能力

"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

Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications

Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile

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

Pretrained Language Models are Symbolic Mathematics Solvers too!

Kimia Noorbakhsh, Modar Sulaiman, Mahdi Sharifi, Kallol Roy, Pooyan Jamshidi

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

A Framework for History-Aware Hyperparameter Optimisation in Reinforcement Learning

Juan Marcelo Parra-Ullauri, Chen Zhen, Antonio García-Domínguez, Nelly Bencomo, Changgang Zheng, Juan Boubeta-Puig, Guadalupe Ortiz, Shufan Yang

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

A Neuro-vector-symbolic Architecture for Solving Raven's Progressive Matrices

Michael Hersche, Mustafa Zeqiri, Luca Benini, Abu Sebastian, Abbas Rahimi

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

Comments Updated version with additional NVSA end-to-end training, generalization experiments, and PGM experiments

Learning Language Representations with Logical Inductive Bias

Jianshu Chen

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

Comments Published as a conference paper at ICLR 2023

Morality, Machines and the Interpretation Problem: A Value-based, Wittgensteinian Approach to Building Moral Agents

Cosmin Badea, Gregory Artus

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

Journal ref In: Bramer, M., Stahl, F. (eds) Artificial Intelligence XXXIX. SGAI-AI 2022. Lecture Notes in Computer Science(), vol 13652. Springer, Cham (2022)

MAPS-KB: A Million-scale Probabilistic Simile Knowledge Base

Qianyu He, Xintao Wang, Jiaqing Liang, Yanghua Xiao

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

Comments Accepted to AAAI 2023

Neural Combinatorial Logic Circuit Synthesis from Input-Output Examples

Peter Belcak, Roger Wattenhofer

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

Comments Accepted to the 2nd Workshop on Math-AI (MATH-AI@NeurIPS'22). 10 pages, 1 figure

On Explainability in AI-Solutions: A Cross-Domain Survey

Simon Daniel Duque Anton, Daniel Schneider, Hans Dieter Schotten

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

Journal ref SAFECOMP 2022 Workshops (2022) 235-246

Intelligent Traffic Monitoring with Hybrid AI

Ehsan Qasemi, Alessandro Oltramari

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

Comments IJCAI Workshop on Artificial Intelligence for Autonomous Driving (AI4AD) 2022

LogicRank: Logic Induced Reranking for Generative Text-to-Image Systems

Björn Deiseroth, Patrick Schramowski, Hikaru Shindo, Devendra Singh Dhami, Kristian Kersting

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

Neuro-Symbolic Artificial Intelligence (AI) for Intent based Semantic Communication

Christo Kurisummoottil Thomas, Walid Saad

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

Logically Consistent Adversarial Attacks for Soft Theorem Provers

Alexander Gaskell, Yishu Miao, Lucia Specia, Francesca Toni

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

Comments IJCAI-ECAI 2022

SAGE: Generating Symbolic Goals for Myopic Models in Deep Reinforcement Learning

Andrew Chester, Michael Dann, Fabio Zambetta, John Thangarajah

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

Comments 11 pages, 8 figures, 3 tables

Logic-based AI for Interpretable Board Game Winner Prediction with Tsetlin Machine

Charul Giri, Ole-Christoffer Granmo, Herke van Hoof, Christian D. Blakely

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

QA4QG: Using Question Answering to Constrain Multi-Hop Question Generation

Dan Su, Peng Xu, Pascale Fung

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

Comments 4 pages, accepted by ICASSP2022

Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning

Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Valenzano, Sheila A. McIlraith

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

Journal ref Journal of Artificial Intelligence Research 73 (2022) 173-208