大模型推理能力 - arXivDaily 专题

2210.01162 2023-03-17 cs.RO cs.AI cs.FL cs.LG math.OC 62%

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

2110.03501 2023-03-15 stat.ML cs.CL cs.LG 62%

Pretrained Language Models are Symbolic Mathematics Solvers too!

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

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

2303.05186 2023-03-10 cs.LG cs.AI cs.SE 62%

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

2203.04571 2023-03-06 cs.LG cs.AI cs.CV 62%

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

2302.09458 2023-02-21 cs.CL cs.LG cs.LO 62%

Learning Language Representations with Logical Inductive Bias

Jianshu Chen

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

Comments Published as a conference paper at ICLR 2023

2103.02728 2023-02-08 cs.AI cs.CL cs.CY 62%

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)

2212.05254 2022-12-13 cs.CL cs.AI 62%

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

2210.16606 2022-11-01 cs.LG cs.AI cs.SC 62%

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

2210.05173 2022-10-12 cs.AI cs.LG 62%

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

2209.00448 2022-09-02 cs.AI cs.CL 62%

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

2208.13518 2022-08-30 cs.AI cs.CL cs.CV cs.LO cs.SC 62%

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

2205.10768 2022-05-24 cs.LG cs.AI cs.IT math.IT 62%

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

Christo Kurisummoottil Thomas, Walid Saad

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

2205.00047 2022-05-03 cs.LG cs.CL cs.CR 62%

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

2203.05079 2022-03-11 cs.LG cs.AI 62%

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

2203.04378 2022-03-10 cs.AI cs.LG 62%

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

2202.06538 2022-02-15 cs.CL cs.AI 62%

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

2010.03950 2022-01-19 cs.LG cs.AI 62%

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

2012.13635 2021-12-24 cs.AI cs.LG 62%

Logic Tensor Networks

Samy Badreddine, Artur d'Avila Garcez, Luciano Serafini, Michael Spranger

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

Comments 68 pages, 28 figures, 6 tables

Journal ref Artificial Intelligence, Volume 303, February 2022, 103649

2112.00578 2021-12-02 cs.CL cs.LG 62%

Systematic Generalization with Edge Transformers

Leon Bergen, Timothy J. O'Donnell, Dzmitry Bahdanau

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

Comments Accepted as a conference paper at NeurIPS 2021

2111.04785 2021-11-11 cs.CV cs.AI cs.CL 62%

Visual Question Answering based on Formal Logic

Muralikrishnna G. Sethuraman, Ali Payani, Faramarz Fekri, J. Clayton Kerce

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

2110.00804 2021-10-19 cs.LG cs.AI cs.CV cs.RO 62%

ProTo: Program-Guided Transformer for Program-Guided Tasks

Zelin Zhao, Karan Samel, Binghong Chen, Le Song

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

Comments Accepted in NeurIPS 2021

2002.06100 2021-10-12 cs.AI cs.LG cs.LO 62%

Analyzing Differentiable Fuzzy Logic Operators

Emile van Krieken, Erman Acar, Frank van Harmelen

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

Comments 47 pages, 18 figures. V2: Added analysis for existential quantification. Improved experiments and writing

2109.12098 2021-09-27 cs.RO cs.CL cs.CV cs.LG 62%

CLIPort: What and Where Pathways for Robotic Manipulation

Mohit Shridhar, Lucas Manuelli, Dieter Fox

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

Comments CoRL 2021. Project Website: https://cliport.github.io/

2109.06133 2021-09-14 cs.AI cs.LG cs.NE cs.PF 62%

Neuro-Symbolic AI: An Emerging Class of AI Workloads and their Characterization

Zachary Susskind, Bryce Arden, Lizy K. John, Patrick Stockton, Eugene B. John

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

Comments 11 pages, 7 figures

2105.08008 2021-05-18 cs.CL cs.LG 62%

Supporting Context Monotonicity Abstractions in Neural NLI Models

Julia Rozanova, Deborah Ferreira, Mokanarangan Thayaparan, Marco Valentino, André Freitas

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

Comments NALOMA'21 (NAtural LOgic Meets MAchine Learning) @IWCS 2021

2105.06511 2021-05-17 cs.CL cs.AI 62%

NLP is Not enough -- Contextualization of User Input in Chatbots

Nathan Dolbir, Triyasha Dastidar, Kaushik Roy

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

2103.03359 2021-05-04 cs.AI cs.LG cs.MA cs.NE 62%

Cognitive Homeostatic Agents

Amol Kelkar

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

Comments Accepted at AAMAS2021 Blue Sky Ideas Track

Journal ref In Proc. of the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021), Online, May 3-7, 2021, IFAAMAS, 5 pages

2104.00158 2021-04-02 cs.AI cs.LG 62%

Online Learning Probabilistic Event Calculus Theories in Answer Set Programming

Nikos Katzouris, Alexander Artikis, Georgios Paliouras

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

Comments Under consideration in Theory and Practice of Logic Programming (TPLP)

2103.05124 2021-03-16 cs.LG cs.AI 62%

Classification and Feature Transformation with Fuzzy Cognitive Maps

Piotr Szwed

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

2010.10418 2020-10-23 cs.CL cs.AI 62%

ConjNLI: Natural Language Inference Over Conjunctive Sentences

Swarnadeep Saha, Yixin Nie, Mohit Bansal

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

Comments EMNLP 2020 (14 pages)

1. 逻辑推理 3056 篇

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

Pretrained Language Models are Symbolic Mathematics Solvers too!

A Framework for History-Aware Hyperparameter Optimisation in Reinforcement Learning

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

Learning Language Representations with Logical Inductive Bias

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

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

Neural Combinatorial Logic Circuit Synthesis from Input-Output Examples

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

Intelligent Traffic Monitoring with Hybrid AI

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

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

Logically Consistent Adversarial Attacks for Soft Theorem Provers

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

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

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

Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning

Logic Tensor Networks

Systematic Generalization with Edge Transformers

Visual Question Answering based on Formal Logic

ProTo: Program-Guided Transformer for Program-Guided Tasks

Analyzing Differentiable Fuzzy Logic Operators

CLIPort: What and Where Pathways for Robotic Manipulation

Neuro-Symbolic AI: An Emerging Class of AI Workloads and their Characterization

Supporting Context Monotonicity Abstractions in Neural NLI Models

NLP is Not enough -- Contextualization of User Input in Chatbots

Cognitive Homeostatic Agents

Online Learning Probabilistic Event Calculus Theories in Answer Set Programming

Classification and Feature Transformation with Fuzzy Cognitive Maps

ConjNLI: Natural Language Inference Over Conjunctive Sentences