Modeling RNA-binding protein specificity in vivo by precisely registering protein-RNA crosslink sites H Feng, S Bao, MA Rahman, SM Weyn-Vanhentenryck, A Khan, J Wong, ... Molecular cell 74 (6), 1189-1204. e6, 2019 | 86 | 2019 |
CLN2INV: learning loop invariants with continuous logic networks G Ryan, J Wong, J Yao, R Gu, S Jana arXiv preprint arXiv:1909.11542, 2019 | 50 | 2019 |
Learning nonlinear loop invariants with gated continuous logic networks J Yao, G Ryan, J Wong, S Jana, R Gu Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 46 | 2020 |
The wisdom of hindsight makes language models better instruction followers T Zhang, F Liu, J Wong, P Abbeel, JE Gonzalez International Conference on Machine Learning, 41414-41428, 2023 | 32 | 2023 |
Addressing the ieee av test challenge with scenic and verifai K Viswanadha, F Indaheng, J Wong, E Kim, E Kalvan, Y Pant, DJ Fremont, ... 2021 IEEE International Conference on Artificial Intelligence Testing …, 2021 | 19 | 2021 |
Context-aware streaming perception in dynamic environments GE Sela, I Gog, J Wong, KK Agrawal, X Mo, S Kalra, P Schafhalter, ... European Conference on Computer Vision, 621-638, 2022 | 6 | 2022 |
Ashera; Neural Guided Optimization Modulo Theory J Wong, PW Chen, T Zhang, J Gonzalez, Y Tian, SA Seshia Tech. rep. UCB/EECS-2023-103. EECS Department, University of California …, 2023 | 2 | 2023 |
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks (Extended Version) J Yao, G Ryan, J Wong, S Jana, R Gu arXiv e-prints, arXiv: 2003.07959, 2020 | | 2020 |