Can we decompile a transformer to find out how it works? Join us to discuss Discovering Interpretable Algorithms by Decompiling Transformers to RASP: In this paper, we present a g…

Abstract: "Bend is a proof language whose programs run as fast as C on one core, and in parallel on GPUs. Its checker verifies proofs in seconds, so you can write large programs t…

Join Norbauer & Co. for an evening celebrating the delights of enthusiast keyboards. In the style of a traditional community keyboard meetups, there won't be a formal program but…