Dana Angluin
- Formal Language Recognition by Hard Attention Transformers: Perspectives from Circuit Complexity
2022/04/13 by Yiding Hao, Hao, Yiding, Dana Angluin +3 · 7 citations
Engineering · #Ferroelectric and Negative Capacitance Devices #Advanced Memory and Neural Computing #Semiconductor materials and devices
- Masked Hard-Attention Transformers Recognize Exactly the Star-Free Languages
2023/10/21 by Andy Yang, David Chiang, Yang, Andy +3 · 9 citations
Computer Science · #Cellular Automata and Applications #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #semigroups and automata theory
- The computational power of population protocols
2006/08/21 by Dana Angluin, Angluin, Dana, James Aspnes +5 · 2 citations
Computer Science · Engineering · Biochemistry, Genetics and Molecular Biology · #Distributed systems and fault tolerance #Molecular Communication and Nanonetworks #DNA and Biological Computing
- Simulating Hard Attention Using Soft Attention
2024/12/13 by Andy Yang, Yang, Andy, Lena Strobl +5 · 1 voice · 4 citations
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #cs.CL #cs.FL #cs.LG
- Transformers as Transducers
2024/04/02 by Lena Strobl, Strobl, Lena, Dana Angluin +7 · 1 citation
Computer Science · #Neural Networks and Applications