activity
20122024
most citedField Teams Coordination for Earthquake-Damaged Distribution System Energization

4 citations · 6 across the 5 of their papers we have counts for

collaborators
Showing cs.CLShow all

2 papers · 1 filter

cs.CL2024

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…

cs.CL2024★ 1 cited

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…