Yun Hui Lin

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	DeepVisualInsight: Time-Travelling Visualization for Spatio-Temporal Causality of Deep Classification Training	2022	Xianglin Yang Yun Hui Lin Ruofan Liu Zhenfeng He Chao Wang Jin Song Dong Hong Mei
+ PDF Chat	Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective	2022	Mark Huasong Meng Guangdong Bai Sin G. Teo Zhé Hóu Yan Xiao Yun Hui Lin Jin Song Dong
+ PDF Chat	Profit-maximizing parcel locker location problem under threshold Luce model	2021	Yun Hui Lin Wang Yuan Loo Hay Lee Ek Peng Chew
+	Decomposition approach for Stackelberg P-median problem with user preferences	2021	Qingyun Tian Yun Hui Lin Dongdong He
+ PDF Chat	Last-mile delivery: Optimal locker location under multinomial logit choice model	2020	Yun Hui Lin Wang Yuan Dongdong He Loo Hay Lee
+ PDF Chat	Exact approaches for competitive facility location with discrete attractiveness	2020	Yun Hui Lin Qingyun Tian
+	Parcel Locker Location Problem under Threshold Luce Model	2020	Yun Hui Lin Yuan Wang Loo Hay Lee
+	Last-mile Delivery: Optimal Locker Location Under Multinomial Logit Choice Model	2020	Yun Hui Lin Dongdong He Yuan Wang Loo Hay Lee
+	Exact Approaches for Competitive Facility Location with Discrete Attractiveness	2020	Yun Hui Lin Qingyun Tian
+	Last-mile Delivery: Optimal Locker Location Under Multinomial Logit Choice Model	2020	Yun Hui Lin Dongdong He Yuan Wang Loo Hay Lee
+	Profit-Maximizing Parcel Locker Location Problem under Threshold Luce Model	2020	Yun Hui Lin Wang Yuan Loo Hay Lee Ek Peng Chew

Common Coauthors

Coauthor	Papers Together
Loo Hay Lee	6
Qingyun Tian	3
Wang Yuan	3
Jin Song Dong	2
Yuan Wang	2
Dongdong He	2
Ek Peng Chew	2
Dongdong He	1
Hong Mei	1
Xianglin Yang	1
Zhenfeng He	1
Ruofan Liu	1
Dongdong He	1
Yan Xiao	1
Guangdong Bai	1
Sin G. Teo	1
Zhé Hóu	1
Mark Huasong Meng	1
Yuan Wang	1
Chao Wang	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	CVXPY: A Python-Embedded Modeling Language for Convex Optimization	2016	Steven Diamond Stephen Boyd	3
+ PDF Chat	Extended formulations in mixed integer conic quadratic programming	2016	Juan Pablo Vielma Iain Dunning Joey Huchette Miles Lubin	3
+ PDF Chat	Cuts for mixed 0-1 conic programming	2005	Mehmet Tolga Cezik Garud Iyengar	3
+ PDF Chat	Disciplined Convex Programming	2006	Michael C. Grant Stephen Boyd Yinyu Ye	3
+ PDF Chat	Lifting for conic mixed-integer programming	2009	Alper Atamtürk Vishnu Narayanan	3
+	Lectures on Modern Convex Optimization	2001	Aharon Ben‐Tal Arkadi Nemirovski	3
+ PDF Chat	A Lifted Linear Programming Branch-and-Bound Algorithm for Mixed-Integer Conic Quadratic Programs	2008	Juan Pablo Vielma Shabbir Ahmed George L. Nemhauser	3
+	Computability of global solutions to factorable nonconvex programs: Part I — Convex underestimating problems	1976	Garth P. McCormick	2
+	Solving a Huff-like competitive location and design model for profit maximization in the plane	2006	José Fernández Blas Pelegrı ́n Frank Plastria Boglárka G.-Tóth	2
+	Fractional 0–1 programming: applications and algorithms	2016	Juan S. Borrero Colin P. Gillen Oleg A. Prokopyev	2
+	Solving Sum of Ratios Fractional Programs via Concave Minimization	2007	Harold P. Benson	1
+ PDF Chat	Going deeper with convolutions	2015	Christian Szegedy Wei Liu Yangqing Jia Pierre Sermanet Scott Reed Dragomir Anguelov Dumitru Erhan Vincent Vanhoucke Andrew Rabinovich	1
+	Fractional programming: The sum-of-ratios case	2003	Siegfried Schaible Jianming Shi	1
+	Conic mixed-integer rounding cuts	2008	Alper Atamtürk Vishnu Narayanan	1
+ PDF Chat	Graph Implementations for Nonsmooth Convex Programs	2007	Michael C. Grant Stephen Boyd	1
+	Sequence to Sequence Learning with Neural Networks	2014	Ilya Sutskever Oriol Vinyals Quoc V. Le	1
+ PDF Chat	Deep Residual Learning for Image Recognition	2016	Kaiming He Xiangyu Zhang Shaoqing Ren Jian Sun	1
+	Convex Optimization	2004	Stephen Boyd Lieven Vandenberghe	1
+	Not Just a Black Box: Learning Important Features Through Propagating Activation Differences	2016	Avanti Shrikumar Peyton Greenside А.В. Щербина Anshul Kundaje	1
+ PDF Chat	Safety Verification of Deep Neural Networks	2017	Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu	1
+	Axiomatic Attribution for Deep Networks	2017	Mukund Sundararajan Ankur Taly Qiqi Yan	1
+ PDF Chat	Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks	2017	Guy Katz Clark Barrett David L. Dill Kyle D. Julian Mykel J. Kochenderfer	1
+	An approach to reachability analysis for feed-forward ReLU neural networks	2017	Alessio Lomuscio Lalit Maganti	1
+	DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars	2017	Yuchi Tian Kexin Pei Suman Jana Baishakhi Ray	1
+ PDF Chat	Grad-CAM++: Generalized Gradient-Based Visual Explanations for Deep Convolutional Networks	2018	Aditya Chattopadhay Anirban Sarkar Prantik Howlader Vineeth N Balasubramanian	1
+	Active Learning for Convolutional Neural Networks: A Core-Set Approach	2017	Ozan Şener Silvio Savarese	1
+	Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations	2017	Weiming Xiang Hoang-Dung Tran Taylor T. Johnson	1
+	Certified Defenses against Adversarial Examples	2018	Aditi Raghunathan Jacob Steinhardt Percy Liang	1
+	UMAP: Uniform Manifold Approximation and Projection for Dimension Reduction	2018	Leland McInnes John J. Healy	1
+	Fractional Programming for Communication Systems—Part I: Power Control and Beamforming	2018	Kaiming Shen Wei Yu	1
+	A Dual Approach to Scalable Verification of Deep Networks	2018	Krishnamurthy Dvijotham Robert Stanforth Sven Gowal Timothy Mann Pushmeet Kohli	1
+	Formal Security Analysis of Neural Networks using Symbolic Intervals	2018	Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana	1
+	Reachability Analysis of Deep Neural Networks with Provable Guarantees	2018	Wenjie Ruan Xiaowei Huang Marta Kwiatkowska	1
+	A Lagrangean Relaxation Algorithm for the Simple Plant Location Problem with Preferences	2018	Xavier Cabezas Sergio García	1
+	Efficient Neural Network Robustness Certification with General Activation Functions	2018	Huan Zhang Tsui-Wei Weng Pin‐Yu Chen Cho‐Jui Hsieh Luca Daniel	1
+	Verification for Machine Learning, Autonomy, and Neural Networks Survey	2018	Weiming Xiang Patrick Musau Ayana A. Wild Diego Manzanas Lopez Nathaniel Hamilton Xiaodong Yang Joel A. Rosenfeld Taylor T. Johnson	1
+	Assortment and Price Optimization Under the Two-Stage Luce model	2017	Álvaro Flores Gerardo Berbeglia Pascal Van Hentenryck	1
+	Efficient Formal Safety Analysis of Neural Networks	2018	Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana	1
+	A Unified View of Piecewise Linear Neural Network Verification	2017	Rudy Bunel Ilker Turkaslan Philip H. S. Torr Pushmeet Kohli Manish Kumar	1
+	Weight Uncertainty in Neural Networks	2015	Charles Blundell Julien Cornebise Koray Kavukcuoglu Daan Wierstra	1
+	ReachNN: Reachability Analysis of Neural-Network Controlled Systems	2019	Chao Huang Jiameng Fan Wenchao Li Xin Chen Qi Zhu	1
+ PDF Chat	Learning Loss for Active Learning	2019	Donggeun Yoo In So Kweon	1
+	Output Reachable Set Estimation and Verification for Multilayer Neural Networks	2018	Weiming Xiang Hoang-Dung Tran Taylor T. Johnson	1
+	Deep Inside Convolutional Networks: Visualising Image Classification Models and Saliency Maps	2013	Karen Simonyan Andrea Vedaldi Andrew Zisserman	1
+ PDF Chat	Grad-CAM: Visual Explanations from Deep Networks via Gradient-Based Localization	2017	Ramprasaath R. Selvaraju Michael Cogswell Abhishek Das Ramakrishna Vedantam Devi Parikh Dhruv Batra	1
+ PDF Chat	Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks	2017	Rüdiger Ehlers	1
+ PDF Chat	Sampling Matters in Deep Embedding Learning	2017	Chao-Yuan Wu R. Manmatha Alexander J. Smola Philipp Krähenbühl	1
+	Towards Fast Computation of Certified Robustness for ReLU Networks	2018	Tsui-Wei Weng Huan Zhang Hongge Chen Zhao Song Cho‐Jui Hsieh Duane S. Boning Inderjit S. Dhillon Luca Daniel	1
+	Provable defenses against adversarial examples via the convex outer adversarial polytope	2017	Eric Wong J. Zico Kolter	1
+ PDF Chat	Maximum Resilience of Artificial Neural Networks	2017	Chih-Hong Cheng Georg Nührenberg Harald Rueß	1