← Search

Konstantine Arkoudas

6 accepted papers

2025

Stress-Testing the Reasoning Competence of Language Models With Formal Proofs

EMNLP 2025

We present a broad empirical study of state-of-the-art LLMs and LRMs (Large Reasoning Models) on ProofGrid, a new battery of challenging but tractable logical inference tasks that form a domain-independent test of constraint-based reasoning. The tasks include proof writing and proof checking across

2022

Compositional Task-Oriented Parsing as Abstractive Question Answering

NAACL 2022long

Task-oriented parsing (TOP) aims to convert natural language into machine-readable representations of specific tasks, such as setting an alarm. A popular approach to TOP is to apply seq2seq models to generate linearized parse trees. A more recent line of work argues that pretrained seq2seq2 models a…

2022

Training Naturalized Semantic Parsers with Very Little Data

IJCAI 2022poster

Semantic parsing is an important NLP problem, particularly for voice assistants such as Alexa and Google Assistant. State-of-the-art (SOTA) semantic parsers are seq2seq architectures based on large language models that have been pretrained on vast amounts of text. To better leverage that pretraining…

2021

Exploring Transfer Learning For End-to-End Spoken Language Understanding

AAAI 2021technical

Voice Assistants such as Alexa, Siri, and Google Assistant typically use a two-stage Spoken Language Understanding pipeline; first, an Automatic Speech Recognition (ASR) component to process customer speech and generate text transcriptions, followed by a Natural Language Understanding (NLU) componen…