Skip to content

Konstantine Arkoudas

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

18

Venues

16

Active years

2004–2025

Best venue rank

A*

Where they publish

Papers

18 indexed papers, newest first.

YearVenueTitleAuthors
2025EMNLPStress-Testing the Reasoning Competence of Language Models With Formal Proofs.Konstantine Arkoudas, Serafim Batzoglou
2023EACLLow-Resource Compositional Semantic Parsing with Concept Pretraining.Subendhu Rongali, Mukund Sridhar, Haidar Khan, Konstantine Arkoudas, Wael Hamza, Andrew McCallum
2022IJCAITraining Naturalized Semantic Parsers with Very Little Data.Subendhu Rongali, Konstantine Arkoudas, Melanie Rubino, Wael Hamza
2022KDDAlexa Teacher Model: Pretraining and Distilling Multi-Billion-Parameter Encoders for Natural Language Understanding Systems.Jack FitzGerald, Shankar Ananthakrishnan, Konstantine Arkoudas, Davide Bernardi, Abhishek Bhagia, Claudio Delli Bovi, Jin Cao, Rakesh Chada, Amit Chauhan, Luoxin Chen, Anurag Dwarakanath, Satyam Dwivedi, Turan Gojayev, Karthik Gopalakrishnan, Thomas Gueudr, Dilek Hakkani-Tur, Wael Hamza, Jonathan J. Hser, Kevin Martin Jose, Haidar Khan, Beiye Liu, Jianhua Lu, Alessandro Manzotti, Pradeep Natarajan, Karolina Owczarzak, Gokmen Oz, Enrico Palumbo, Charith Peris, Chandana Satya Prakash, Stephen Rawls, Andy Rosenbaum, Anjali Shenoy, Saleh Soltan, Mukund Harakere Sridhar, Lizhen Tan, Fabian Triefenbach, Pan Wei, Haiyang Yu, Shuai Zheng, Gkhan Tr, Prem Natarajan
2022NAACLCompositional Task-Oriented Parsing as Abstractive Question Answering.Wenting Zhao, Konstantine Arkoudas, Weiqi Sun, Claire Cardie
2022WWWUnfreeze with Care: Space-Efficient Fine-Tuning of Semantic Parsing Models.Weiqi Sun, Haidar Khan, Nicolas Guenon des Mesnards, Melanie Rubino, Konstantine Arkoudas
2021AAAIExploring Transfer Learning For End-to-End Spoken Language Understanding.Subendhu Rongali, Beiye Liu, Liwei Cai, Konstantine Arkoudas, Chengwei Su, Wael Hamza
2021NAACLCombining Weakly Supervised ML Techniques for Low-Resource NLU.Victor Soto, Konstantine Arkoudas
2020COLINGDelexicalized Paraphrase Generation.Boya Yu, Konstantine Arkoudas, Wael Hamza
2019CIKMSemantically Driven Auto-completion.Konstantine Arkoudas, Mohamed Yahya
2018SIGIRAuto-completion for Question Answering Systems at Bloomberg.Konstantine Arkoudas, Mohamed Yahya
2015SIGIRFinding Money in the Haystack: Information Retrieval at Bloomberg.Jonathan J. Dorando, Konstantine Arkoudas, Parth Vasa, Gary Kazantsev, Gideon Mann
2011FMCADAn Application of Formal Methods to Cognitive Radios.Konstantine Arkoudas, Ritu Chadha, C. Jason Chiang
2009IC3KQualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic.Konstantine Arkoudas, Selmer Bringsjord, Sangeet Khemlani
2008ISoLATrusted Theorem Proving: A Case Study in SLD-Resolution.Konstantine Arkoudas, Olin Shivers
2008PRICAIToward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task.Konstantine Arkoudas, Selmer Bringsjord
2004ATVASpecification, Abduction, and Proof.Konstantine Arkoudas
2004ICFEMVerifying a File System Implementation.Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard