activity
20062023
most citedLila: A Unified Benchmark for Mathematical Reasoning

4 citations · 11 across the 5 of their papers we have counts for

collaborators

5 papers

cs.CL2023★ 3 cited

InstructABSA: Instruction Learning for Aspect Based Sentiment Analysis

Kevin Scaria, Himanshu Gupta, Siddharth Goyal +3

We introduce InstructABSA, an instruction learning paradigm for Aspect-Based Sentiment Analysis (ABSA) subtasks. Our method introduces positive, negative, and neutral examples to e…

cs.CL2022★ 4 cited

Lila: A Unified Benchmark for Mathematical Reasoning

Swaroop Mishra, Matthew Finlayson, Pan Lu +8

Mathematical reasoning skills are essential for general-purpose intelligent systems to perform tasks from grocery shopping to climate modeling. Towards evaluating and improving AI…

cs.AI2012

Typed Answer Set Programming and Inverse Lambda Algorithms

Chitta Baral, Juraj Dzifcak, Marcos A. Gonzalez +1

Our broader goal is to automatically translate English sentences into formulas in appropriate knowledge representation languages as a step towards understanding and thus answering…

cs.AI2008★ 3 cited

Probabilistic reasoning with answer sets

Chitta Baral, Michael Gelfond, Nelson Rushton

This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while ca…

cs.AI2006★ 1 cited

Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming

Phan Huy Tu, Tran Cao Son, Chitta Baral

We extend the 0-approximation of sensing actions and incomplete information in [Son and Baral 2000] to action theories with static causal laws and prove its soundness with respect…