Follow
Justin Wong
Justin Wong
PhD Student at UC Berkeley
Verified email at berkeley.edu - Homepage
Title
Cited by
Cited by
Year
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
822019
CLN2INV: learning loop invariants with continuous logic networks
G Ryan, J Wong, J Yao, R Gu, S Jana
arXiv preprint arXiv:1909.11542, 2019
502019
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
442020
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
282023
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
192021
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
62022
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
22023
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
The system can't perform the operation now. Try again later.
Articles 1–8