Statutory reasoning is the task of reasoning with facts and statutes, which are rules written in
natural language by a legislature. It is a basic legal skill. In this paper we explore the …

Remarkable progress has been made on automated reasoning with natural text, by using
Language Models (LMs) and methods such as Chain-of-Thought and Selection-Inference …

When prompted with a few examples and intermediate steps, large language models (LLMs)
have demonstrated impressive performance in various reasoning tasks. However, prompting …

Prior work has combined chain-of-thought prompting in large language models (LLMs) with
programmatic representations to perform effective and transparent reasoning. While such an …

Logical reasoning, ie, deductively inferring the truth value of a conclusion from a set of
premises, is an important task for artificial intelligence with wide potential impacts on …

Automated reasoning with unstructured natural text is a key requirement for many potential
applications of NLP and for developing robust AI systems. Recently, Language Models …

Chain-of-thought (CoT) prompting for language models demonstrates impressive
performance across reasoning tasks, but typically needs labeled exemplars of the reasoning …

In this survey, we address the key challenges in Large Language Models (LLM) research,
focusing on the importance of interpretability. Driven by increasing interest from AI and …

Xenophobia is one of the key drivers of marginalisation, discrimination, and conflict, yet
many prominent machine learning fairness frameworks fail to comprehensively measure or …

Large Language Models (LLMs) have demonstrated good performance in many reasoning
tasks, but they still struggle with some complicated reasoning tasks including logical …