5 papers
Backward through Time, Algebraically
Konstantinos Kogkalidis
Linear temporal logic is a modal extension of propositional logic that allows one to state how a system should behave over time. Its canonical domain is the booleans, but discretel…
Algebraic Positional Encodings
Konstantinos Kogkalidis, Jean-Philippe Bernardy, Vikas Garg
We introduce a novel positional encoding strategy for Transformer-style models, addressing the shortcomings of existing, often ad hoc, approaches. Our framework provides a flexible…
Learning Structure-Aware Representations of Dependent Types
Konstantinos Kogkalidis, Orestis Melkonian, Jean-Philippe Bernardy
Agda is a dependently-typed programming language and a proof assistant, pivotal in proof formalization and programming language theory. This paper extends the Agda ecosystem into m…
Nominal Class Assignment in Swahili: A Computational Account
Giada Palmieri, Konstantinos Kogkalidis
We discuss the open question of the relation between semantics and nominal class assignment in Swahili. We approach the problem from a computational perspective, aiming first to qu…
On Tables with Numbers, with Numbers
Konstantinos Kogkalidis, Stergios Chatzikyriakidis
This paper is a critical reflection on the epistemic culture of contemporary computational linguistics, framed in the context of its growing obsession with tables with numbers. We…