[LG] Why Are Linear RNNs More Parallelizable?
W Merrill, H Jiang, Y Li, A Lin… [Allen Institute for AI & Rheinland-Pfalzische Technische Universitat] (2026)
https://t.co/FVfDg5XpKN
Our string solver OSTRICH won QF_S at #smtcomp'13!
https://t.co/7NW8eLkRaX
Presentation by my student Oliver Markgraf: https://t.co/EYIDcj1SW0
Congrats to OSTRICH team, and thanks for the hard work.
We - @rlisahuang@Ayana_Monr - announced https://t.co/PYqhNhDNFb last year. We wonder if it has been used in classroom or other learning settings? Would love to hear your comments
📢 The results of the 2022 ERC Consolidator Grant competition are out: €657 million for 321 researchers.
Who has been offered funding?
What topics they will investigate?
Where will they do their research?
Discover the details ➡️ https://t.co/MYLZWZ5JSv
🇪🇺#EUfunded#ERCCoG
Just finished recording a talk (https://t.co/quxE1lGFez) on Liveness for Randomized Distributed Protocols for Ahmed Bouajjani's Workshop:
https://t.co/thoUeqLxTA
Tough problem that I learned in 2009 and only managed to solve in 2016, so very excited to present it here!
2-week visit to Israel coming to an end. Gave 3 talks:
- Regular Model Checking @TelAvivUni
- Graph Databases at @vardifest. What an honor! @vardi
- Data Automata at LICS.
Enjoy those staying on!
PS: thx to many locals for their enormous help, esp. Yakir Vizel's family.
Are you curious about SMT solvers? Want to learn about Z3, a state-of-the-art SMT solver, and run Z3 programs *in your browser*? We are excited to host the first online Z3 learning workshop with research interns @rlisahuang and @Ayana_Monr on August 24. https://t.co/bJMuyHp2DZ