Konstantine Arkoudas

49 papers A* 6A 2B 2C 3Misc 1Journal 21Unranked 14
YearRankTypeTitle / Venue / Authors
2025 — conf
Stress-Testing the Reasoning Competence of Language Models With Formal Proofs.
EMNLP (Findings)
Konstantine Arkoudas, Serafim Batzoglou
2023 J jnl
GPT-4 Can't Reason.
CoRR
Konstantine Arkoudas
2023 A conf
Low-Resource Compositional Semantic Parsing with Concept Pretraining.
EACL
Subendhu Rongali, Mukund Sridhar, Haidar Khan, Konstantine Arkoudas, Wael Hamza, Andrew McCallum
2023 J jnl
Low-Resource Compositional Semantic Parsing with Concept Pretraining.
CoRR
Subendhu Rongali, Mukund Sridhar, Haidar Khan, Konstantine Arkoudas, Wael Hamza, Andrew McCallum
2022 A* conf
Alexa Teacher Model: Pretraining and Distilling Multi-Billion-Parameter Encoders for Natural Language Understanding Systems.
KDD
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
2022 J jnl
Alexa Teacher Model: Pretraining and Distilling Multi-Billion-Parameter Encoders for Natural Language Understanding Systems.
CoRR
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
2022 — conf
Compositional Task-Oriented Parsing as Abstractive Question Answering.
NAACL-HLT
Wenting Zhao, Konstantine Arkoudas, Weiqi Sun, Claire Cardie
2022 J jnl
Compositional Task-Oriented Parsing as Abstractive Question Answering.
CoRR
Wenting Zhao, Konstantine Arkoudas, Weiqi Sun, Claire Cardie
2022 J jnl
Cross-TOP: Zero-Shot Cross-Schema Task-Oriented Parsing.
CoRR
Melanie Rubino, Nicolas Guenon des Mesnards, Uday Shah, Nanjiang Jiang, Weiqi Sun, Konstantine Arkoudas
2022 J jnl
PIZZA: A new benchmark for complex end-to-end task-oriented parsing.
CoRR
Konstantine Arkoudas, Nicolas Guenon des Mesnards, Melanie Rubino, Sandesh Swamy, Saarthak Khanna, Weiqi Sun, Haidar Khan
2022 A* conf
Training Naturalized Semantic Parsers with Very Little Data.
IJCAI
Subendhu Rongali, Konstantine Arkoudas, Melanie Rubino, Wael Hamza
2022 J jnl
Training Naturalized Semantic Parsers with Very Little Data.
CoRR
Subendhu Rongali, Konstantine Arkoudas, Melanie Rubino, Wael Hamza
2022 A* conf
Unfreeze with Care: Space-Efficient Fine-Tuning of Semantic Parsing Models.
WWW
Weiqi Sun, Haidar Khan, Nicolas Guenon des Mesnards, Melanie Rubino, Konstantine Arkoudas
2022 J jnl
Unfreeze with Care: Space-Efficient Fine-Tuning of Semantic Parsing Models.
CoRR
Weiqi Sun, Haidar Khan, Nicolas Guenon des Mesnards, Melanie Rubino, Konstantine Arkoudas
2021 — conf
Combining Weakly Supervised ML Techniques for Low-Resource NLU.
NAACL-HLT (Industry Papers)
Victor Soto, Konstantine Arkoudas
2021 A* conf
Exploring Transfer Learning For End-to-End Spoken Language Understanding.
AAAI
Subendhu Rongali, Beiye Liu, Liwei Cai, Konstantine Arkoudas, Chengwei Su, Wael Hamza
2020 — conf
Delexicalized Paraphrase Generation.
COLING (Industry)
Boya Yu, Konstantine Arkoudas, Wael Hamza
2020 J jnl
Delexicalized Paraphrase Generation.
CoRR
Boya Yu, Konstantine Arkoudas, Wael Hamza
2020 J jnl
Exploring Transfer Learning For End-to-End Spoken Language Understanding.
CoRR
Subendhu Rongali, Beiye Liu, Liwei Cai, Konstantine Arkoudas, Chengwei Su, Wael Hamza
2019 J jnl
Grammatical Sequence Prediction for Real-Time Neural Semantic Parsing.
CoRR
Chunyang Xiao, Christoph Teichmann, Konstantine Arkoudas
2019 A conf
Semantically Driven Auto-completion.
CIKM
Konstantine Arkoudas, Mohamed Yahya
2019 J jnl
Semantically Driven Auto-completion.
CoRR
Konstantine Arkoudas, Mohamed Yahya
2018 A* conf
Auto-completion for Question Answering Systems at Bloomberg.
SIGIR
Konstantine Arkoudas, Mohamed Yahya
2015 A* conf
Finding Money in the Haystack: Information Retrieval at Bloomberg.
SIGIR
Jonathan J. Dorando, Konstantine Arkoudas, Parth Vasa, Gary Kazantsev, Gideon Mann
2014 J jnl
Sophisticated Access Control via SMT and Logical Frameworks.
ACM Trans. Inf. Syst. Secur.
Konstantine Arkoudas, Ritu Chadha, C. Jason Chiang
2013 J jnl
Modular natural language interfaces to logic-based policy frameworks.
Comput. Stand. Interfaces
Jason Perry, Konstantine Arkoudas, C. Jason Chiang, Ritu Chadha, Daniel Apgar, Keith Whittaker
2012 — conf
A model-theoretic approach to data anonymity and inference control.
CODASPY
Konstantine Arkoudas, Akshay Vashist
2012 — conf
Automated Policy Analysis.
POLICY
Konstantine Arkoudas, Shoshana Loeb, Ritu Chadha, C. Jason Chiang, Keith Whittaker
2012 — conf
Policy-based spectrum management architecture.
MILCOM
Jeffrey Boksiner, Yuriy Posherstnik, Howard McDonald, Konstantine Arkoudas, Ritu Chadha, C. Jason Chiang, Apurva N. Mody, Matthew Sherman
2011 — conf
An Application of Formal Methods to Cognitive Radios.
DIFTS@FMCAD
Konstantine Arkoudas, Ritu Chadha, C. Jason Chiang
2009 J jnl
Propositional Attitudes and Causation.
Int. J. Softw. Informatics
Konstantine Arkoudas, Selmer Bringsjord
2009 C conf
Qualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic.
KEOD
Konstantine Arkoudas, Selmer Bringsjord, Sangeet Khemlani
2009 J jnl
Vivid: A framework for heterogeneous problem solving.
Artif. Intell.
Konstantine Arkoudas, Selmer Bringsjord
2008 — conf
Automatically Discovering Euler's Identity via Genetic Programming.
AAAI Fall Symposium: Automated Scientific Discovery
Konstantine Arkoudas
2008 J jnl
Computation, hypercomputation, and physical science.
J. Appl. Log.
Konstantine Arkoudas
2008 B conf
Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task.
PRICAI
Konstantine Arkoudas, Selmer Bringsjord
2008 C conf
Trusted Theorem Proving: A Case Study in SLD-Resolution.
ISoLA
Konstantine Arkoudas, Olin Shivers
2007 J jnl
Computers, Justification, and Mathematical Knowledge.
Minds Mach.
Konstantine Arkoudas, Selmer Bringsjord
2007 — conf
Reporting on Some Logic-Based Machine Reading Research.
AAAI Spring Symposium: Machine Reading
Selmer Bringsjord, Konstantine Arkoudas, Micah Clark, Andrew Shilliday, Joshua Taylor, Bettina Schimanski, Yingrui Yang
2007 Misc conf
The Multi-Mind Effect.
IC-AI
Selmer Bringsjord, Konstantine Arkoudas, Deepa Mukherjee, Andrew Edward Shilliday, Joshua Taylor, Micah Henry Clark, Elizabeth Bringsjord
2006 J jnl
Toward a General Logicist Methodology for Engineering Ethically Correct Robots.
IEEE Intell. Syst.
Selmer Bringsjord, Konstantine Arkoudas, Paul Bello
2005 — conf
Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses.
COCV
Alexandru Salcianu, Konstantine Arkoudas
2005 J jnl
Simplifying Proofs in Fitch-Style Natural Deduction Systems.
J. Autom. Reason.
Konstantine Arkoudas
2004 — conf
Deductive Runtime Certification.
RV@ETAPS
Konstantine Arkoudas, Martin C. Rinard
2004 — conf
Metareasoning for Multi-agent Epistemic Logics.
CLIMA
Konstantine Arkoudas, Selmer Bringsjord
2004 B conf
Specification, Abduction, and Proof.
ATVA
Konstantine Arkoudas
2004 J jnl
The modal argument for hypercomputing minds.
Theor. Comput. Sci.
Selmer Bringsjord, Konstantine Arkoudas
2004 C conf
Verifying a File System Implementation.
ICFEM
Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard
2003 — conf
Integrating Model Checking and Theorem Proving for Relational Reasoning.
RelMiCS
Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard