← Search

Soumya Sanyal

12 accepted papers

2024

Are Machines Better at Complex Reasoning? Unveiling Human-Machine Inference Gaps in Entailment Verification

ACL 2024findings

Making inferences in text comprehension to understand the meaning is essential in language processing. This work studies the entailment verification (EV) problem of complex, multi-sentence premises requiring a system to make multiple inferences implicitly. Modern applications of EV in detecting inco…

2024

PlaSma: Procedural Knowledge Models for Language-based Planning and Re-Planning

ICLR 2024poster

Procedural planning, which entails decomposing a high-level goal into a sequence of temporally ordered steps, is an important yet intricate task for machines. It involves integrating common-sense knowledge to reason about complex and often contextualized situations, e.g. ``scheduling a doctor's appo…

Cited by 1SourcePDFScholar
2024

Self-contradictory reasoning evaluation and detection

EMNLP 2024finding

In a plethora of recent work, large language models (LLMs) demonstrated impressive reasoning ability, but many proposed downstream reasoning tasks only focus on performance-wise evaluation. Two fundamental questions persist: 1) how consistent is the reasoning, and 2) can models detect unreliable rea…

2023

APOLLO: A Simple Approach for Adaptive Pretraining of Language Models for Logical Reasoning

ACL 2023long

Logical reasoning over text is an important ability that requires understanding the semantics of the text and reasoning through them to arrive at correct inferences. Prior works on pretraining language models to improve the logical reasoning ability require complex processing of training data (e.g.,…

2023

Faith and Fate: Limits of Transformers on Compositionality

NeurIPS 2023spotlight

Transformer large language models (LLMs) have sparked admiration for their exceptional performance on tasks that demand intricate multi-step reasoning. Yet, these models simultaneously show failures on surprisingly trivial problems. This begs the question: Are these errors incidental, or do they si…

2023

Generate rather than Retrieve: Large Language Models are Strong Context Generators

ICLR 2023poster

Knowledge-intensive tasks, such as open-domain question answering (QA), require access to a large amount of world or domain knowledge. A common approach for knowledge-intensive tasks is to employ a retrieve-then-read pipeline that first retrieves a handful of relevant contextual documents from an ex…

2022

FaiRR: Faithful and Robust Deductive Reasoning over Natural Language

ACL 2022long

Transformers have been shown to be able to perform deductive reasoning on a logical rulebase containing rules and statements written in natural language. Recent works show that such models can also produce the reasoning steps (i.e., the proof graph) that emulate the model’s logical reasoning process…

2022

RobustLR: A Diagnostic Benchmark for Evaluating Logical Robustness of Deductive Reasoners

EMNLP 2022main

Transformers have been shown to be able to perform deductive reasoning on inputs containing rules and statements written in the English natural language. However, it is unclear if these models indeed follow rigorous logical reasoning to arrive at the prediction or rely on spurious correlation patter…

2021

SalKG: Learning From Knowledge Graph Explanations for Commonsense Reasoning

NeurIPS 2021poster

Augmenting pre-trained language models with knowledge graphs (KGs) has achieved success on various commonsense reasoning tasks. However, for a given task instance, the KG, or certain parts of the KG, may not be useful. Although KG-augmented models often use attention to focus on specific KG componen…

2020

Composition-based Multi-Relational Graph Convolutional Networks

ICLR 2020poster

Graph Convolutional Networks (GCNs) have recently been shown to be quite successful in modeling graph-structured data. However, the primary focus has been on handling simple undirected graphs. Multi-relational graphs are a more general and prevalent form of graphs where each edge has a label and dir…

Cited by 1247SourcecodeScholar