4 citations · 7 across the 6 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2026
SpecRLBench: A Benchmark for Generalization in Specification-Guided Reinforcement Learning
Zijian Guo, İlker Işık, H. M. Sabbir Ahmad +1
Specification-guided reinforcement learning (RL) provides a principled framework for encoding complex, temporally extended tasks using formal specifications such as linear temporal…
cs.LG2026
Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning
İlker Işık, Wenchao Li
Current neural architectures lack a principled way to handle interchangeable tokens, i.e., symbols that are semantically equivalent yet distinguishable, such as bound variables. As…