Chen Bo Calvin Zhang
San Francisco, California, United States
2K followers
500+ connections
Experience
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Education
-
-
-
-
-
-
-
-
-
-
Languages
-
Italian
Native or bilingual proficiency
-
English
Full professional proficiency
-
Chinese
Elementary proficiency
Other similar profiles
Explore more posts
-
Rajeev Alur
Happy to share the article "Specification-guided reinforcement learning" that just appeared in CACM, coauthored with Osbert Bastani, Suguman Bansal, and Kishor Jothimurugan. This summarizes our recent research on how satisfaction of temporal logic specifications can be used as objectives for policy learning:
-
gAIn - Next Generation AI Computing
📢 We are excited to announce that our paper "Expressive Power of Recurrent Spiking Neural Networks for Sequence Modeling" Duc Anh Nguyen, Massimiliano Datres, Ernesto Araya Valdivia and Gitta Kutyniok got accepted for poster presentation at the 1st ICLR Workshop on Time Series in the Age of Large Models at the ICLR Conference in Rio! Spiking neural networks (SNNs) provide a biologically inspired and potentially efficient framework for processing sequential data, but their expressive power, particularly in the dynamical setting, remains poorly understood. We establish a universality result showing that recurrent SNNs can approximate a broad class of sequence-to-sequence mappings, thereby providing theoretical support for their use in temporal learning and time series processing. More information about the paper here: https://lnkd.in/enFgGjNX Holger Boche Stefanie Speidel Frank Fitzek Ludwig-Maximilians-Universität München Technical University of Munich Technische Universität Dresden Bavarian State Ministry of Science and the Arts Sächsisches Staatsministerium für Wissenschaft, Kultur und Tourismus
Explore top content on LinkedIn
Find curated posts and insights for relevant topics all in one place.
View top content