4 citations · 6 across the 4 of their papers we have counts for
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
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…