Shiqi Wang
@ShiqiWang10
Followers
84
Following
26
Statuses
10
Research scientist at Meta; Ex-scientist at Amazon AWS AI Lab; PhD at Columbia University. Research focuses on reliable LLM for code.
Williamsburg, Brooklyn
Joined June 2018
RT @YifengDing_: Have you suffered from LLMs failing to match with suffix in Fill-in-the-Middle (FIM) code completion? 📢Introducing Horizo…
0
18
0
0
0
0
RT @baishakhir: Ever wonder how robust the code generation models are...read our newly minted #ACL2023 paper: "...a…
0
3
0
RT @ben_athi: 1/ Multi-lingual HumanEval are now available on Huggingface! + Blog post on GPT-4 Code Generation Performance in 10+ languag…
0
4
0
RT @ben_athi: We present multi-lingual code evaluation benchmarks MBXP and multi-lingual HumanEval, available in 10+ programming languages.…
0
29
0
RT @StanleyBak: The third international competition on neural network verification (VNN-COMP) finished last weekend! Congratulations to the…
0
5
0
RT @huan_zhang12: Join us on the #AAAI2022 Tutorial on Formal Verification of Neural Networks⏰at 8:30 am PT today🗓️ Hands-on tutorial on NN…
0
4
0
RT @surrealyz: Released the code for @acm_ccs paper "Learning Security Classifiers with Verified Global Robustness Properties" https://t.c…
0
9
0
RT @huan_zhang12: Join us for the ATVA 2021 Workshop on Security and Reliability of Machine Learning (SRML) on Oct 18! Two keynote talks gi…
0
7
0
Congrats🎆
Our NN verifier α,β-CROWN won the International Verification of Neural Networks Competition (VNN-COMP 2021) with top highest total score🎉: Team: @huan_zhang12 @KaidiXu1 @ShiqiWang10 @zhouxingshi Yihan Wang, Xue Lin, Suman Jana, Cho-Jui Hsieh @zicokolter
0
0
1