Konstantine Arkoudas

According to our database, Konstantine Arkoudas authored at least 41 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

GPT-4 Can't Reason.

Konstantine Arkoudas

CoRR, 2023

Low-Resource Compositional Semantic Parsing with Concept Pretraining.

Subendhu Rongali, Mukund Sridhar, Haidar Khan, Konstantine Arkoudas, Wael Hamza, Andrew McCallum

Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics, 2023

2022

PIZZA: A new benchmark for complex end-to-end task-oriented parsing.

Konstantine Arkoudas, Nicolas Guenon des Mesnards, Melanie Rubino, Sandesh Swamy, Saarthak Khanna, Weiqi Sun, Haidar Khan

CoRR, 2022

Alexa 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. Hüser, 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, Liz Tan, Fabian Triefenbach, Pan Wei, Haiyang Yu, Shuai Zheng, Gökhan Tür, Prem Natarajan

CoRR, 2022

Cross-TOP: Zero-Shot Cross-Schema Task-Oriented Parsing.

Melanie Rubino, Nicolas Guenon des Mesnards, Uday Shah, Nanjiang Jiang, Weiqi Sun, Konstantine Arkoudas

CoRR, 2022

Unfreeze with Care: Space-Efficient Fine-Tuning of Semantic Parsing Models.

Weiqi Sun, Haidar Khan, Nicolas Guenon des Mesnards, Melanie Rubino, Konstantine Arkoudas

Proceedings of the WWW '22: The ACM Web Conference 2022, Virtual Event, Lyon, France, April 25, 2022

Compositional Task-Oriented Parsing as Abstractive Question Answering.

Wenting Zhao, Konstantine Arkoudas, Weiqi Sun, Claire Cardie

Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2022

Alexa 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. Hüser, 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, Gökhan Tür, Prem Natarajan

Proceedings of the KDD '22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 14, 2022

Training Naturalized Semantic Parsers with Very Little Data.

Subendhu Rongali, Konstantine Arkoudas, Melanie Rubino, Wael Hamza

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

Combining Weakly Supervised ML Techniques for Low-Resource NLU.

Victor Soto, Konstantine Arkoudas

Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies: Industry Papers, 2021

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

Subendhu Rongali, Beiye Liu, Liwei Cai, Konstantine Arkoudas, Chengwei Su, Wael Hamza

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Delexicalized Paraphrase Generation.

Boya Yu, Konstantine Arkoudas, Wael Hamza

Proceedings of the 28th International Conference on Computational Linguistics, 2020

2019

Grammatical Sequence Prediction for Real-Time Neural Semantic Parsing.

Chunyang Xiao, Christoph Teichmann, Konstantine Arkoudas

CoRR, 2019

Semantically Driven Auto-completion.

Konstantine Arkoudas, Mohamed Yahya

Proceedings of the 28th ACM International Conference on Information and Knowledge Management, 2019

2018

Auto-completion for Question Answering Systems at Bloomberg.

Konstantine Arkoudas, Mohamed Yahya

Proceedings of the 41st International ACM SIGIR Conference on Research & Development in Information Retrieval, 2018

2015

Finding Money in the Haystack: Information Retrieval at Bloomberg.

Jonathan J. Dorando, Konstantine Arkoudas, Parth Vasa, Gary Kazantsev, Gideon Mann

Proceedings of the 38th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2015

2014

Sophisticated Access Control via SMT and Logical Frameworks.

Konstantine Arkoudas, Ritu Chadha, C. Jason Chiang

ACM Trans. Inf. Syst. Secur., 2014

2013

Modular natural language interfaces to logic-based policy frameworks.

Jason Perry, Konstantine Arkoudas, C. Jason Chiang, Ritu Chadha, Daniel Apgar, Keith Whittaker

Comput. Stand. Interfaces, 2013

2012

Automated Policy Analysis.

Konstantine Arkoudas, Shoshana Loeb, Ritu Chadha, C. Jason Chiang, Keith Whittaker

Proceedings of the 2012 IEEE International Symposium on Policies for Distributed Systems and Networks, 2012

Policy-based spectrum management architecture.

Jeffrey Boksiner, Yuriy Posherstnik, Howard McDonald, Konstantine Arkoudas, Ritu Chadha, C. Jason Chiang, Apurva N. Mody, Matthew Sherman

Proceedings of the 31st IEEE Military Communications Conference, 2012

A model-theoretic approach to data anonymity and inference control.

Konstantine Arkoudas, Akshay Vashist

Proceedings of the Second ACM Conference on Data and Application Security and Privacy, 2012

2011

An Application of Formal Methods to Cognitive Radios.

Konstantine Arkoudas, Ritu Chadha, C. Jason Chiang

Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, 2011

2009

Propositional Attitudes and Causation.

Konstantine Arkoudas, Selmer Bringsjord

Int. J. Softw. Informatics, 2009

Vivid: A framework for heterogeneous problem solving.

Konstantine Arkoudas, Selmer Bringsjord

Artif. Intell., 2009

Qualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic.

Konstantine Arkoudas, Selmer Bringsjord, Sangeet Khemlani

Proceedings of the KEOD 2009 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Funchal, 2009

2008

Computation, hypercomputation, and physical science.

Konstantine Arkoudas

J. Appl. Log., 2008

Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task.

Konstantine Arkoudas, Selmer Bringsjord

Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

Trusted Theorem Proving: A Case Study in SLD-Resolution.

Konstantine Arkoudas, Olin Shivers

Proceedings of the Leveraging Applications of Formal Methods, 2008

Automatically Discovering Euler's Identity via Genetic Programming.

Konstantine Arkoudas

Proceedings of the Automated Scientific Discovery, 2008

2007

Computers, Justification, and Mathematical Knowledge.

Konstantine Arkoudas, Selmer Bringsjord

Minds Mach., 2007

The Multi-Mind Effect.

Selmer Bringsjord, Konstantine Arkoudas, Deepa Mukherjee, Andrew Edward Shilliday, Joshua Taylor, Micah Henry Clark, Elizabeth Bringsjord

Proceedings of the 2007 International Conference on Artificial Intelligence, 2007

Reporting on Some Logic-Based Machine Reading Research.

Selmer Bringsjord, Konstantine Arkoudas, Micah Clark, Andrew Shilliday, Joshua Taylor, Bettina Schimanski, Yingrui Yang

Proceedings of the Machine Reading, 2007

2006

Toward a General Logicist Methodology for Engineering Ethically Correct Robots.

Selmer Bringsjord, Konstantine Arkoudas, Paul Bello

IEEE Intell. Syst., 2006

2005

Simplifying Proofs in Fitch-Style Natural Deduction Systems.

Konstantine Arkoudas

J. Autom. Reason., 2005

Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses.

Alexandru Salcianu, Konstantine Arkoudas

Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, 2005

2004

The modal argument for hypercomputing minds.

Selmer Bringsjord, Konstantine Arkoudas

Theor. Comput. Sci., 2004

Deductive Runtime Certification.

Konstantine Arkoudas, Martin C. Rinard

Proceedings of the Fourth Workshop on Runtime Verification, 2004

Verifying a File System Implementation.

Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard

Proceedings of the Formal Methods and Software Engineering, 2004

Metareasoning for Multi-agent Epistemic Logics.

Konstantine Arkoudas, Selmer Bringsjord

Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

Specification, Abduction, and Proof.

Konstantine Arkoudas

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

Integrating Model Checking and Theorem Proving for Relational Reasoning.

Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard

Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003