Konstantine Arkoudas

Identifiers

No identifiers captured yet.

Papers (3)

1. Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism cs.LO · 2026 · author #1
2. Grammatical Sequence Prediction for Real-Time Neural Semantic Parsing cs.CL · 2019 · author #3
3. Semantically Driven Auto-completion cs.CL · 2019 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Christoph Teichmann 1 shared papers
• Chunyang Xiao 1 shared papers
• Mohamed Yahya 1 shared papers
• Serafim Batzoglou 1 shared papers