52 citations · 65 across the 11 of their papers we have counts for
4 papers · 1 filter
Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence
İlker Işık, Ramazan Gokberk Cinbis, Ebru Aydin Gol
Language models lack the notion of interchangeable tokens: symbols that are semantically equivalent yet distinct, such as bound variables in formal logic. This limitation prevents…
Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba
İlker Işık, Ebru Aydin Gol, Ramazan Gokberk Cinbis
Temporal logic is a framework for representing and reasoning about propositions that evolve over time. It is commonly used for specifying requirements in various domains, including…
Optimal Policy Synthesis from A Sequence of Goal Sets with An Application to Electric Distribution System Restoration
İlker Işık, Onur Yigit Arpali, Ebru Aydin Gol
Motivated by the post-disaster distribution system restoration problem, in this paper, we study the problem of synthesizing the optimal policy for a Markov Decision Process (MDP) f…
Field Teams Coordination for Earthquake-Damaged Distribution System Energization
İlker Işık, Ebru Aydin Gol
The re-energization of electrical distribution systems in a post-disaster scenario is of grave importance as most modern infrastructure systems rely heavily on the presence of elec…