Xin Dai

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification	2024	Yoshio Ebihara Xin Dai Tsuyoshi Yuno Victor Magron Dimitri Peaucelle Sophie Tarbouriech
+	Has Your Pretrained Model Improved? A Multi-head Posterior Based Approach	2024	Prince Aboagye Zheng Yan Junpeng Wang Uday Singh Saini Xin Dai Michael Yeh Yujie Fan Zhongfang Zhuang Shubham Jain Liang Wang
+ PDF Chat	Temporal Treasure Hunt: Content-based Time Series Retrieval System for Discovering Insights	2023	Chin‐Chia Michael Yeh Huiyuan Chen Xin Dai Yan Zheng Yujie Fan Vivian Lai Junpeng Wang Audrey Der Zhongfang Zhuang Liang Wang
+ PDF Chat	Ego-Network Transformer for Subsequence Classification in Time Series Data	2023	Chin‐Chia Michael Yeh Huiyuan Chen Yujie Fan Xin Dai Yan Zheng Vivian Lai Junpeng Wang Zhongfang Zhuang Liang Wang Wei Zhang
+	How Does Attention Work in Vision Transformers? A Visual Analytics Attempt	2023	Yiran Li Junpeng Wang Xin Dai Liang Wang Chin‐Chia Michael Yeh Yan Zheng Wei Zhang Kwan‐Liu Ma
+	How Does Attention Work in Vision Transformers? A Visual Analytics Attempt	2023	Yiran Li Junpeng Wang Xin Dai Liang Wang Chin‐Chia Michael Yeh Yan Zheng Wei Zhang Kwan‐Liu Ma
+	PDT: Pretrained Dual Transformers for Time-aware Bipartite Graphs	2023	Xin Dai Yujie Fan Zhongfang Zhuang Shubham Jain Chin‐Chia Michael Yeh Junpeng Wang Liang Wang Yan Zheng Wei Zhang
+	Multitask Learning for Time Series Data with 2D Convolution	2023	Chin‐Chia Michael Yeh Xin Dai Yan Zheng Junpeng Wang Huiyuan Chen Yujie Fan Audrey Der Zhongfang Zhuang Liang Wang Weidong Zhang
+	Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification	2023	Yoshio Ebihara Xin Dai Victor Magron Dimitri Peaucelle Sophie Tarbouriech
+	Temporal Treasure Hunt: Content-based Time Series Retrieval System for Discovering Insights	2023	Chin‐Chia Michael Yeh Huiyuan Chen Xin Dai Yan Zheng Yujie Fan Vivian Lai Junpeng Wang Audrey Der Zhongfang Zhuang Liang Wang
+	Ego-Network Transformer for Subsequence Classification in Time Series Data	2023	Chin‐Chia Michael Yeh Huiyuan Chen Yujie Fan Xin Dai Yan Zheng Vivian Lai Junpeng Wang Zhongfang Zhuang Liang Wang Wei Zhang
+	An Efficient Content-based Time Series Retrieval System	2023	Chin‐Chia Michael Yeh Huiyuan Chen Xin Dai Yan Zheng Junpeng Wang Vivian Lai Yujie Fan Audrey Der Zhongfang Zhuang Liang Wang

Common Coauthors

Coauthor	Papers Together
Chin‐Chia Michael Yeh	9
Junpeng Wang	9
Zhongfang Zhuang	8
Yujie Fan	7
Huiyuan Chen	6
Vivian Lai	5
Liang Wang	5
Wei Zhang	4
Audrey Der	4
Yan Zheng	4
Liang Wang	3
Yan Zheng	2
Yoshio Ebihara	2
Victor Magron	2
Kwan‐Liu Ma	2
Wei Zhang	2
Eamonn Keogh	2
Sophie Tarbouriech	2
Dimitri Peaucelle	2
Yiran Li	1
Liang Wang	1
Uday Singh Saini	1
Liang Wang	1
Zheng Yan	1
Wei Zhang	1
Wei Zhang	1
Wei Zhang	1
Yujie Fan	1
Shubham Jain	1
Yan Zheng	1
Michael Yeh	1
Junpeng Wang	1
Jeff M. Phillips	1
Prince Aboagye	1
Shubham Jain	1
Tsuyoshi Yuno	1
Yan Zheng	1
Yan Zheng	1
Weidong Zhang	1
Yiran Li	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Attention Is All You Need	2017	Ashish Vaswani Noam Shazeer Niki Parmar Jakob Uszkoreit Llion Jones Aidan N. Gomez Łukasz Kaiser Illia Polosukhin	3
+	Stability Analysis Using Quadratic Constraints for Systems With Neural Network Controllers	2021	He Yin Peter Seiler Murat Arcak	2
+ PDF Chat	Dissipativity and Integral Quadratic Constraints: Tailored Computational Robustness Tests for Complex Interconnections	2022	Carsten W. Scherer	2
+	On the Properties of Neural Machine Translation: Encoder–Decoder Approaches	2014	Kyunghyun Cho Bart van Merriënboer Dzmitry Bahdanau Yoshua Bengio	2
+	Relaxations for Robust Linear Matrix Inequality Problems with Verifications for Exactness	2005	Carsten W. Scherer	2
+ PDF Chat	Informer: Beyond Efficient Transformer for Long Sequence Time-Series Forecasting	2021	Haoyi Zhou Shanghang Zhang Jieqi Peng Shuai Zhang Jianxin Li Hui Xiong Wancai Zhang	2
+	Aspects of Semidefinite Programming	2002	Etienne de Klerk	2
+	Enhancing the Locality and Breaking the Memory Bottleneck of Transformer on Time Series Forecasting	2019	Shiyang Li Xiaoyong Jin Yao Xuan Xiyou Zhou Wenhu Chen Yu-Xiang Wang Xifeng Yan	2
+	Semialgebraic Optimization for Lipschitz Constants of ReLU Networks	2020	Tong Chen Jean B. Lasserre Victor Magron Edouard Pauwels	2
+	YALMIP : a toolbox for modeling and optimization in MATLAB	2005	Johan Löfberg	2
+	An improved frequency time domain stability criterion for autonomous continuous systems	1967	Robert P O’Shea	2
+	Semidefinite relaxations for certifying robustness to adversarial examples	2018	Aditi Raghunathan Jacob Steinhardt Percy Liang	2
+ PDF Chat	Time series classification from scratch with deep neural networks: A strong baseline	2017	Zhiguang Wang Weizhong Yan Tim Oates	2
+ PDF Chat	Embedding Compression with Hashing for Efficient Representation Learning in Large-Scale Graph	2022	Chin‐Chia Michael Yeh Mengting Gu Yan Zheng Huiyuan Chen Javid Ebrahimi Zhongfang Zhuang Junpeng Wang Liang Wang Wei Zhang	2
+ PDF Chat	Denoising Self-Attentive Sequential Recommendation	2022	Huiyuan Chen Yusan Lin Menghai Pan Lan Wang Chin‐Chia Michael Yeh Xiaoting Li Yan Zheng Fei Wang Hao Yang	2
+	Copositive Programming – a Survey	2010	Mirjam Dür	2
+	Robust Physical-World Attacks on Deep Learning Models	2017	Ivan Evtimov Kevin Eykholt Earlence Fernandes Tadayoshi Kohno Bo Li Atul Prakash Amir Rahmati Dawn Song	2
+ PDF Chat	A Convex Parameterization of Robust Recurrent Neural Networks	2020	Max Revay Ruigang Wang Ian R. Manchester	2
+ PDF Chat	Deep Residual Learning for Image Recognition	2016	Kaiming He Xiangyu Zhang Shaoqing Ren Jian Sun	2
+	Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming	2020	Mahyar Fazlyab Manfred Morari George J. Pappas	2
+	Dissipativity, Convexity and Tight O'Shea-Zames-Falb Multipliers for Safety Guarantees	2022	Carsten W. Scherer	2
+	Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks	2019	Mahyar Fazlyab Alexander Robey Hamed Hassani Manfred Morari George J. Pappas	2
+	Deep learning for time series classification: a review	2019	Hassan Ismail Fawaz Germain Forestier Jonathan Weber Lhassane Idoumghar Pierre-Alain Müller	2
+	LMI Relaxations in Robust Control	2006	Carsten W. Scherer	2
+ PDF Chat	<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.svg"><mml:msub><mml:mi>l</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:math> induced norm analysis of discrete-time LTI systems for nonnegative input signals and its application to stability analysis of recurrent neural networks	2021	Yoshio Ebihara Hayato Waki Victor Magron Ngoc Hoang Anh Dimitri Peaucelle Sophie Tarbouriech	1
+	Temporal Fusion Transformers for interpretable multi-horizon time series forecasting	2021	Bryan Lim Sercan Ö. Arık Nicolas Loeff Tomas Pfister	1
+ PDF Chat	Self-Attention Attribution: Interpreting Information Interactions Inside Transformer	2021	Yaru Hao Li Dong Furu Wei Ke Xu	1
+ PDF Chat	VisQA: X-raying Vision and Language Reasoning in Transformers	2021	Théo Jaunet Corentin Kervadec Romain Vuillemot Grigory Antipov Moez Baccouche Christian Wolf	1
+ PDF Chat	Transformers in Vision: A Survey	2022	Salman Khan Muzammal Naseer Munawar Hayat Syed Waqas Zamir Fahad Shahbaz Khan Mubarak Shah	1
+ PDF Chat	Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers	2021	Yoshio Ebihara Hayato Waki Victor Magron Ngoc Hoang Anh Dimitri Peaucelle Sophie Tarbouriech	1
+ PDF Chat	Error-bounded Approximate Time Series Joins using Compact Dictionary Representations of Time Series	2022	Chin‐Chia Michael Yeh Yan Zheng Junpeng Wang Huiyuan Chen Zhongfang Zhuang Wei Zhang Eamonn Keogh	1
+	The UEA multivariate time series classification archive, 2018	2018	Anthony Bagnall Hoang Anh Dau Jason Lines Michael Flynn James Large Aaron Bostrom Paul Southam Eamonn Keogh	1
+ PDF Chat	TinyKG: Memory-Efficient Training Framework for Knowledge Graph Neural Recommender Systems	2022	Huiyuan Chen Xiaoting Li Kaixiong Zhou Xia Hu Chin‐Chia Michael Yeh Yan Zheng Hao Yang	1
+ PDF Chat	A Visual Analytics System for Improving Attention-based Traffic Forecasting Models	2022	Seungmin Jin Hyunwook Lee Cheonbok Park Hyeshin Chu Yunwon Tae Jaegul Choo Sungahn Ko	1
+	Graph Attention Networks	2017	Petar Veličković Guillem Cucurull Arantxa Casanova Adriana Romero Píetro Lió Yoshua Bengio	1
+	On the Tightness of Semidefinite Relaxations for Certifying Robustness to Adversarial Examples	2020	Richard Y. Zhang	1
+ PDF Chat	VL-InterpreT: An Interactive Visualization Tool for Interpreting Vision-Language Transformers	2022	Estelle Aflalo Meng Du Shao-Yen Tseng Yongfei Liu Chenfei Wu Nan Duan Vasudev Lal	1
+ PDF Chat	Sketching Multidimensional Time Series for Fast Discord Mining	2023	Chin‐Chia Michael Yeh Yan Zheng Menghai Pan Huiyuan Chen Zhongfang Zhuang Junpeng Wang Liang Wang Wei Zhang Jeff M. Phillips Eamonn Keogh	1
+	A recursive algorithm of exactness verification of relaxations for robust SDPs	2009	Izumi Masubuchi Carsten W. Scherer	1
+ PDF Chat	ImageNet Large Scale Visual Recognition Challenge	2015	Olga Russakovsky Jia Deng Hao Su Jonathan Krause Sanjeev Satheesh Sean Ma Zhiheng Huang Andrej Karpathy Aditya Khosla Michael S. Bernstein	1
+	Neural Machine Translation by Jointly Learning to Align and Translate	2014	Dzmitry Bahdanau Kyunghyun Cho Yoshua Bengio	1
+	BPR: Bayesian Personalized Ranking from Implicit Feedback	2012	Steffen Rendle Christoph Freudenthaler Zeno Gantner Lars Schmidt-Thieme	1
+ PDF Chat	Towards Better Analysis of Deep Convolutional Neural Networks	2016	Mengchen Liu Jiaxin Shi Zhen Li Chongxuan Li Jun Zhu Shi‐Xia Liu	1
+ PDF Chat	LSTMVis: A Tool for Visual Analysis of Hidden State Dynamics in Recurrent Neural Networks	2017	Hendrik Strobelt Sebastian Gehrmann Hanspeter Pfister Alexander M. Rush	1
+	Certified Defenses against Adversarial Examples	2018	Aditi Raghunathan Jacob Steinhardt Percy Liang	1
+	BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding	2018	Jacob Devlin Ming‐Wei Chang Kenton Lee Kristina Toutanova	1
+	A Multiscale Visualization of Attention in the Transformer Model	2019	Jesse Vig	1
+ PDF Chat	Seq2seq-Vis: A Visual Debugging Tool for Sequence-to-Sequence Models	2018	Hendrik Strobelt Sebastian Gehrmann Michael Behrisch Adam Perer Hanspeter Pfister Alexander M. Rush	1
+ PDF Chat	Learning to Hash for Indexing Big Data—A Survey	2015	Jun Wang Wei Liu Sanjiv Kumar Shih‐Fu Chang	1
+	Visual Analytics in Deep Learning: An Interrogative Survey for the Next Frontiers	2018	Fred Hohman Minsuk Kahng Robert Pienta Duen Horng Chau	1