v1v2 (latest)

Transformers as Soft Reasoners over Language

International Joint Conference on Artificial Intelligence (IJCAI), 2020

14 February 2020

Oyvind Tafjord

Papers citing "Transformers as Soft Reasoners over Language"

50 / 256 papers shown

Title
On Memorization of Large Language Models in Logical Reasoning Chulin Xie Yangsibo Huang Chiyuan Zhang Da Yu Xinyun Chen Bill Yuchen Lin Bo Li Badih Ghazi Ravi Kumar LRM 400 92 0 30 Oct 2024
Leveraging LLMs for Hypothetical Deduction in Logical Inference: A Neuro-Symbolic Approach Qingchuan Li Jiatong Li Tongxuan Liu Yuting Zeng Mingyue Cheng Weizhe Huang Qi Liu LRM AI4CE 227 5 0 29 Oct 2024
Transformer-based Language Models for Reasoning in the Description Logic ALCQ Angelos Poulis Eleni Tsalapati Manolis Koubarakis ReLM LRM 139 1 0 12 Oct 2024
Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning TasksInternational Conference on Learning Representations (ICLR), 2024 Rushang Karia Daniel Bramblett D. Dobhal Siddharth Srivastava ELM LRM 244 2 0 11 Oct 2024
MOOSE-Chem: Large Language Models for Rediscovering Unseen Chemistry Scientific HypothesesInternational Conference on Learning Representations (ICLR), 2024 Zonglin Yang Wanhao Liu Ben Gao Tong Xie You Li Wanli Ouyang Soujanya Poria Xiaoshi Zhong Dongzhan Zhou LRM 466 43 0 09 Oct 2024
Can Transformers Reason Logically? A Study in SAT Solving Leyan Pan Vijay Ganesh Jacob Abernethy Chris Esposo Wenke Lee ReLM LRM 295 10 0 09 Oct 2024
Logic-of-Thought: Injecting Logic into Contexts for Full Reasoning in Large Language Models Tongxuan Liu Wenjiang Xu Weizhe Huang Yuting Zeng Jiaxing Wang Hailong Yang Hailong Yang Jing Li LRM ReLM 255 19 0 26 Sep 2024
LogicPro: Improving Complex Logical Reasoning via Program-Guided LearningAnnual Meeting of the Association for Computational Linguistics (ACL), 2024 Jin Jiang Yuchen Yan Yang Liu Yonggang Jin Shuai Peng Hao Fei Xunliang Cai Yixin Cao Liangcai Gao LRM 381 10 0 19 Sep 2024
LogicGame: Benchmarking Rule-Based Reasoning Abilities of Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL), 2024 Jiayi Gui Yiming Liu Jiale Cheng Xiaotao Gu Xiao-Yang Liu Hongning Wang Yuxiao Dong Jie Tang Minlie Huang ELM LLMAG LRM 242 12 0 28 Aug 2024
Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic InferenceAnnual Meeting of the Association for Computational Linguistics (ACL), 2024 Geonhee Kim Marco Valentino André Freitas LRM AI4CE 244 11 0 16 Aug 2024
A Multi-Source Heterogeneous Knowledge Injected Prompt Learning Method for Legal Charge Prediction Jingyun Sun Chi Wei Yang Li AILaw 125 1 0 05 Aug 2024
Attention Overflow: Language Model Input Blur during Long-Context Missing Items Recommendation Damien Sileo LRM RALM 135 2 0 18 Jul 2024
Reliable Reasoning Beyond Natural Language Nasim Borazjanizadeh Steven T Piantadosi LRM ReLM 237 9 0 16 Jul 2024
A Survey on Symbolic Knowledge Distillation of Large Language Models Kamal Acharya Alvaro Velasquez Haoze Song SyDa 208 22 0 12 Jul 2024
Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Models Nisarg Patel Mohith Kulkarni Mihir Parmar Aashna Budhiraja Mutsumi Nakamura Neeraj Varshney Chitta Baral ELM LRM 196 31 0 24 Jun 2024
First Heuristic Then Rational: Dynamic Use of Heuristics in Language Model Reasoning Yoichi Aoki Keito Kudo Tatsuki Kuribayashi Shusaku Sone Masaya Taniguchi Keisuke Sakaguchi Kentaro Inui LRM 306 1 0 23 Jun 2024
DoubleDipper: Improving Long-Context LLMs via Context Recycling Arie Cattan Alon Jacovi Alex Fabrikant Jonathan Herzig Roee Aharoni ... Dror Marcus Avinatan Hassidim Yossi Matias Idan Szpektor Avi Caciularu RALM 265 0 0 19 Jun 2024
Liar, Liar, Logical Mire: A Benchmark for Suppositional Reasoning in Large Language ModelsConference on Empirical Methods in Natural Language Processing (EMNLP), 2024 Philipp Mondorf Barbara Plank HILM LRM 224 10 0 18 Jun 2024
Interactive Evolution: A Neural-Symbolic Self-Training Framework For Large Language Models Fangzhi Xu Qiushi Sun Kanzhi Cheng Jing Liu Yu Qiao Zhiyong Wu LLMAG 154 8 0 17 Jun 2024
A Systematic Analysis of Large Language Models as Soft Reasoners: The Case of Syllogistic Inferences Leonardo Bertolazzi Albert Gatt Raffaella Bernardi LRM ELM 73 10 0 17 Jun 2024
Scaling Synthetic Logical Reasoning Datasets with Context-Sensitive Declarative Grammars Damien Sileo LRM ReLM 248 5 0 16 Jun 2024
DIEKAE: Difference Injection for Efficient Knowledge Augmentation and Editing of Large Language Models Alessio Galatolo Meriem Beloucif Katie Winkle 133 0 0 15 Jun 2024
BABILong: Testing the Limits of LLMs with Long Context Reasoning-in-a-HaystackNeural Information Processing Systems (NeurIPS), 2024 Yuri Kuratov Aydar Bulatov Petr Anokhin Ivan Rodkin Dmitry Sorokin Artyom Sorokin Andrey Kravchenko RALM ALM LRM ReLM ELM 214 130 0 14 Jun 2024
Bi-Chainer: Automated Large Language Models Reasoning with Bidirectional Chaining Shuqi Liu Bowei He Linqi Song LRM 229 4 0 05 Jun 2024
Towards Rationality in Language and Multimodal Agents: A Survey Bowen Jiang Yangxinyu Xie Xiaomeng Wang Yuan Yuan Camillo J Taylor Tanwi Mallick Weijie J. Su Camillo J. Taylor Tanwi Mallick LLMAG 266 12 0 01 Jun 2024
Hypothesis Testing Prompting Improves Deductive Reasoning in Large Language Models Yitian Li Jidong Tian Hao He Yaohui Jin LRM ReLM 138 4 0 09 May 2024
Logical Negation Augmenting and Debiasing for Prompt-based Methods Yitian Li Jidong Tian Hao He Yaohui Jin 142 0 0 08 May 2024
Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions Jordan Meadows Tamsin James André Freitas ReLM LRM AI4CE 158 2 0 29 Apr 2024
Logic Agent: Enhancing Validity with Logic Rule Invocation Hanmeng Liu Zhiyang Teng Chaoli Zhang Yue Zhang LRM LLMAG 172 4 0 28 Apr 2024
LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models Mihir Parmar Nisarg Patel Neeraj Varshney Mutsumi Nakamura Man Luo Santosh Mashetty Arindam Mitra Chitta Baral LRM ReLM ELM 452 58 0 23 Apr 2024
A Survey on Deep Learning for Theorem Proving Zhaoyu Li Jialiang Sun Logan Murphy Qidong Su Zenan Li Xian Zhang Kaiyu Yang Xujie Si LRM 244 45 0 15 Apr 2024
A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language InferenceInternational Conference on Language Resources and Evaluation (LREC), 2024 Mokanarangan Thayaparan Marco Valentino André Freitas 145 1 0 03 Apr 2024
Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution RefutationInternational Conference on Language Resources and Evaluation (LREC), 2024 Zhouhao Sun Xiao Ding Li Du Bibo Cai Jin-Fang Gao Ting Liu Bing Qin LRM ReLM 176 1 0 02 Apr 2024
Reasoning in Transformers -- Mitigating Spurious Correlations and Reasoning Shortcuts Daniel Enström Viktor Kjellberg Moa Johansson LRM 95 3 0 17 Mar 2024
A Logical Pattern Memory Pre-trained Model for Entailment Tree GenerationInternational Conference on Language Resources and Evaluation (LREC), 2024 Li Yuan Yi Cai Haopeng Ren Jiexin Wang LRM 189 7 0 11 Mar 2024
Benchmarking Large Language Models for Molecule Prediction Tasks Zhiqiang Zhong Kuangyu Zhou Davide Mottin 109 17 0 08 Mar 2024
Balancing Exploration and Exploitation in LLM using Soft RLLF for Enhanced Negation Understanding Ha-Thanh Nguyen Ken Satoh 209 3 0 02 Mar 2024
A Decision-Language Model (DLM) for Dynamic Restless Multi-Armed Bandit Tasks in Public Health Nikhil Behari Edwin Zhang Yunfan Zhao Aparna Taneja Dheeraj M. Nagaraj Milind Tambe 289 26 0 22 Feb 2024
Harnessing Large Language Models as Post-hoc Correctors Zhiqiang Zhong Kuangyu Zhou Davide Mottin 122 7 0 20 Feb 2024
Same Task, More Tokens: the Impact of Input Length on the Reasoning Performance of Large Language Models Mosh Levy Alon Jacoby Yoav Goldberg 373 142 0 19 Feb 2024
RLVF: Learning from Verbal Feedback without Overgeneralization Moritz Stephan Alexander Khazatsky Eric Mitchell Annie S. Chen Sheryl Hsu Archit Sharma Chelsea Finn 166 13 0 16 Feb 2024
AI, Meet Human: Learning Paradigms for Hybrid Decision Making Systems Clara Punzi Roberto Pellungrini Mattia Setzu F. Giannotti D. Pedreschi 313 8 0 09 Feb 2024
FCoReBench: Can Large Language Models Solve Challenging First-Order Combinatorial Reasoning Problems? Chinmay Mittal Krishna Kartik Mausam Parag Singla LRM 306 7 0 04 Feb 2024
Conditional and Modal Reasoning in Large Language Models Wesley H. Holliday M. Mandelkern Cedegao E. Zhang LRM 207 11 0 30 Jan 2024
BibSonomy Meets ChatLLMs for Publication Management: From Chat to Publication Management: Organizing your related work using BibSonomy & LLMsConference on Human Information Interaction and Retrieval (CHIIR), 2024 Tom Völker Jan Pfister Tobias Koopmann Andreas Hotho 74 2 0 17 Jan 2024
GeomVerse: A Systematic Evaluation of Large Models for Geometric Reasoning Mehran Kazemi Hamidreza Alvari Ankit Anand Jialin Wu Xi Chen Radu Soricut LRM ReLM 158 88 0 19 Dec 2023
Assessing Logical Reasoning Capabilities of Encoder-Only Transformer Models Paulo Pirozelli M. M. José Paulo de Tarso P. Filho A. Brandão Fabio Gagliardi Cozman LRM ELM 294 4 0 18 Dec 2023
Taxonomy-based CheckList for Large Language Model Evaluation Damin Zhang 117 0 0 15 Dec 2023
Probing Pretrained Language Models with Hierarchy Properties Jesús Lovón-Melgarejo José G. Moreno Romaric Besançon Olivier Ferret L. Tamine 149 3 0 15 Dec 2023
PathFinder: Guided Search over Multi-Step Reasoning Paths O. Yu. Golovneva Sean O'Brien Ramakanth Pasunuru Tianlu Wang Luke Zettlemoyer Maryam Fazel-Zarandi Asli Celikyilmaz LRM 191 11 0 08 Dec 2023