Showing cs.CLShow all
2 papers · 1 filter
cs.CL2025
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…