Timon Gehr

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Modular Synthesis of Efficient Quantum Uncomputation	2024	Hristo Venev Timon Gehr Dimitar Dimitrov Martin Vechev
+ PDF Chat	AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs	2024	Mert Ünsal Timon Gehr Martin Vechev
+ PDF Chat	Modular Synthesis of Efficient Quantum Uncomputation	2024	Hristo Venev Timon Gehr Dimitar Dimitrov Martin Vechev
+ PDF Chat	Robustness certification with generative models	2021	Matthew Mirman Alexander Hägele Pavol Bielik Timon Gehr Martin Vechev
+	Scalable Inference of Symbolic Adversarial Examples.	2020	Dimitar I. Dimitrov Gagandeep Singh Timon Gehr Martin Vechev
+	Provably Robust Adversarial Examples	2020	Dimitar I. Dimitrov Gagandeep Singh Timon Gehr Martin Vechev
+	Robustness Certification of Generative Models	2020	Matthew Mirman Timon Gehr Martin Vechev

Common Coauthors

Coauthor	Papers Together
Martin Vechev	7
Dimitar Dimitrov	2
Matthew Mirman	2
Dimitar I. Dimitrov	2
Hristo Venev	2
Gagandeep Singh	2
Mert Ünsal	1
Alexander Hägele	1
Pavol Bielik	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Deep Learning Face Attributes in the Wild	2015	Ziwei Liu Ping Luo Xiaogang Wang Xiaoou Tang	1
+	Adversarially Learned Inference	2016	Vincent Dumoulin Ishmael Belghazi Ben Poole Olivier Mastropietro Alex Lamb Martín Arjovsky Aaron Courville	1
+	Adversarial examples in the physical world	2016	Alexey Kurakin Ian Goodfellow Samy Bengio	1
+	On the (Statistical) Detection of Adversarial Examples	2017	Kathrin Grosse Praveen Manoharan Nicolas Papernot Michael Backes Patrick McDaniel	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
+ PDF Chat	Semantic Jitter: Dense Supervision for Visual Comparisons via Synthetic Images	2017	Aron Yu Kristen Grauman	1
+ PDF Chat	SafetyNet: Detecting and Rejecting Adversarial Examples Robustly	2017	Jiajun Lu Theerasit Issaranon David Forsyth	1
+	Adversarial Generation of Training Examples: Applications to Moving Vehicle License Plate Recognition	2017	Xinlong Wang Zhipeng Man Mingyu You Chunhua Shen	1
+	Disentangling by Factorising	2018	Hyunjik Kim Andriy Mnih	1
+	Certified Defenses against Adversarial Examples	2018	Aditi Raghunathan Jacob Steinhardt Percy Liang	1
+	Defense-GAN: Protecting Classifiers Against Adversarial Attacks Using Generative Models.	2018	Pouya Samangouei Maya Kabkab Rama Chellappa	1
+	Training verified learners with learned verifiers	2018	Krishnamurthy Dvijotham Sven Gowal Robert Stanforth Relja Arandjelović Brendan O’Donoghue Jonathan Uesato Pushmeet Kohli	1
+	Technical Report on the CleverHans v2.1.0 Adversarial Examples Library	2016	Nicolas Papernot Fartash Faghri Nicholas Carlini Ian Goodfellow Reuben Feinman Alexey Kurakin Cihang Xie Yash Sharma T. B. Brown Aurko Roy	1
+	Understanding and Improving Interpolation in Autoencoders via an Adversarial Regularizer	2018	David Berthelot Colin Raffel Aurko Roy Ian Goodfellow	1
+ PDF Chat	Generative adversarial network in medical imaging: A review	2019	Yi Xin Ekta Walia Paul Babyn	1
+	FD-GAN: Pose-guided Feature Distilling GAN for Robust Person Re-identification	2018	Yixiao Ge Zhuowan Li Haiyu Zhao Guojun Yin Shuai Yi Xiaogang Wang Hongsheng Li	1
+	Efficient Formal Safety Analysis of Neural Networks	2018	Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana	1
+ PDF Chat	Deep Neural Network Compression for Aircraft Collision Avoidance Systems	2018	Kyle D. Julian Mykel J. Kochenderfer Michael P. Owen	1
+	On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models	2018	Sven Gowal Krishnamurthy Dvijotham Robert Stanforth Rudy Bunel Chongli Qin Jonathan Uesato Relja Arandjelović Timothy Mann Pushmeet Kohli	1
+	On the Geometry of Adversarial Examples	2018	Marc Khoury Dylan Hadfield-Menell	1
+	Verification of deep probabilistic models	2018	Krishnamurthy Dvijotham Marta Garnelo Alhussein Fawzi Pushmeet Kohli	1
+	Enhancing Gradient-based Attacks with Symbolic Intervals	2019	Shiqi Wang Yizheng Chen Ahmed Abdou Suman Jana	1
+	Axiomatic Attribution for Deep Networks	2017	Mukund Sundararajan Ankur Taly Qiqi Yan	1
+	On the Connection Between Adversarial Robustness and Saliency Map Interpretability	2019	Christian Etmann Sebastian Lunz Peter Maaß Carola‐Bibiane Schönlieb	1
+	Certified Adversarial Robustness via Randomized Smoothing	2019	Jeremy M. Cohen Elan Rosenfeld J. Zico Kolter	1
+	Mitigating Evasion Attacks to Deep Neural Networks via Region-based Classification	2017	Xiaoyu Cao Neil Zhenqiang Gong	1
+	On Certifying Non-uniform Bound against Adversarial Attacks	2019	Chen Liu Ryota Tomioka Volkan Cevher	1
+ PDF Chat	Towards Robust Neural Networks via Random Self-ensemble	2018	Xuanqing Liu Minhao Cheng Huan Zhang Cho‐Jui Hsieh	1
+	PixelDefend: Leveraging Generative Models to Understand and Defend against Adversarial Examples	2017	Yang Song Taesup Kim Sebastian Nowozin Stefano Ermon Nate Kushman	1
+	Adversarially Learned Inference	2016	Vincent Dumoulin Ishmael Belghazi Ben Poole Olivier Mastropietro Alex Lamb Martín Arjovsky Aaron Courville	1
+	A Dual Approach to Scalable Verification of Deep Networks	2018	Krishnamurthy Dvijotham Robert Stanforth Sven Gowal Timothy Mann Pushmeet Kohli	1
+	Are Generative Classifiers More Robust to Adversarial Attacks	2018	Yingzhen Li John Bradshaw Yash Sharma	1
+ PDF Chat	Towards Evaluating the Robustness of Neural Networks	2017	Nicholas Carlini David Wagner	1
+ PDF Chat	Certified Robustness to Adversarial Examples with Differential Privacy	2019	Mathias Lécuyer Vaggelis Atlidakis Roxana Geambasu Daniel Hsu Suman Jana	1
+ PDF Chat	Pose-Normalized Image Generation for Person Re-identification	2018	Xuelin Qian Yanwei Fu Tao Xiang Wenxuan Wang Jie Qiu Yang Wu Yu‐Gang Jiang Xiangyang Xue	1
+	Towards Deep Learning Models Resistant to Adversarial Attacks.	2018	Aleksander Mądry Aleksandar Makelov Ludwig Schmidt Dimitris Tsipras Adrian Vladu	1
+	An Alternative Surrogate Loss for PGD-based Adversarial Testing	2019	Sven Gowal Jonathan Uesato Chongli Qin Po-Sen Huang Timothy Mann Pushmeet Kohli	1
+	Evaluations and Methods for Explanation through Robustness Analysis	2020	Cheng-Yu Hsieh Chih‐Kuan Yeh Xuanqing Liu Pradeep Ravikumar Seung‐Yeon Kim Sanjiv Kumar Cho‐Jui Hsieh	1
+ PDF Chat	Property Inference for Deep Neural Networks	2019	Divya Gopinath Hayes Converse Corina S. Păsăreanu Ankur Taly	1
+	Input Validation for Neural Networks via Runtime Local Robustness Verification	2020	Jiangchao Liu Liqian Chen Antoine Miné Ji Wang	1
+ PDF Chat	Realistic River Image Synthesis Using Deep Generative Adversarial Networks	2022	Akshat Gautam Muhammed Sit İbrahim Demir	1
+	Scaling Symbolic Methods using Gradients for Neural Model Explanation	2020	Subham Sekhar Sahoo Subhashini Venugopalan Li Li Rishabh Singh Patrick Riley	1
+ PDF Chat	A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper	2020	Peng Fu Kohei Kishida Neil J. Ross Peter Selinger	1
+	On Adaptive Attacks to Adversarial Example Defenses	2020	Florian Tramèr Nicholas Carlini Wieland Brendel Aleksander Mądry	1
+ PDF Chat	Square Attack: A Query-Efficient Black-Box Adversarial Attack via Random Search	2020	Maksym Andriushchenko Francesco Croce Nicolas Flammarion Matthias Hein	1
+ PDF Chat	Quantum information effects	2022	Chris Heunen Robin Kaarsgaard	1
+ PDF Chat	QIRO: A Static Single Assignment-based Quantum Program Representation for Optimization	2022	David Ittah Thomas Häner Vadym Kliuchnikov Torsten Hoefler	1
+ PDF Chat	QSSA: an SSA-based IR for Quantum computing	2022	Anurudh Peduri Siddharth Bhat Tobias Grosser	1
+ PDF Chat	Realistic River Image Synthesis using Deep Generative Adversarial Networks	2020	Akshat Gautam Muhammed Sit İbrahim Demir	1
+ PDF Chat	Tower: data structures in Quantum superposition	2022	Charles Yuan Michael Carbin	1