Publication Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost Shuvendu Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal FMCAD | July 2020 Best paper award Video Project Project
Publication Variance Reduction and Quasi-Newton for Particle-Based Variational Inference Michael H. Zhu, Chang Liu, Jun Zhu ICML 2020 | July 2020
Publication Informative Dropout for Robust Representation Learning: A Shape-bias Perspective Baifeng Shi, Dinghuai Zhang, Qi Dai, Zhanxing Zhu, Yadong Mu, Jingdong Wang ICML 2020 | July 2020
Publication Neuro-Symbolic Visual Reasoning: Disentangling “Visual” from “Reasoning” Saeed Amizadeh, Hamid Palangi, Oleksandr Polozov, Yichen Huang, Kazuhito Koishida ICML 2020 | July 2020
Publication CLUB: A Contrastive Log-ratio Upper Bound of Mutual Information Pengyu Cheng, Weituo Hao, Shuyang Dai, Jiachang Liu, Zhe Gan, Lawrence Carin ICML 2020 | July 2020
Publication Automated Bug Reproduction from User Reviews for Android Applications Shuyue Li, Jiaqi Guo, Ming Fan, Jian-Guang Lou, Qinghua Zheng, Ting Liu ICSE 2020 | July 2020
Publication Optimization from Structured Samples for Coverage Functions Wei Chen, Xiaoming Sun, Jialin Zhang, Zhijie Zhang Proceedings of the 37th International Conference on Machine Learning, (ICML) | July 2020
Publication Discourse-Aware Neural Extractive Text Summarization Jiacheng Xu, Zhe Gan, Yu Cheng, JJ (Jingjing) Liu ACL 2020 | July 2020
Publication A Study of Non-autoregressive Model for Sequence Generation Yi Ren, Jinglin Liu, Xu Tan, Zhou Zhao, Sheng Zhao, Tie-Yan Liu ACL 2020 | July 2020
Publication Statistically Efficient Greedy Equivalence Search Max Chickering Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial Intelligence | July 2020