Timezone: »
Poster Spotlights I
Taesik Na · Yang Song · Aman Sinha · Richard Shin · Qiuyuan Huang · Nina Narodytska · Matt Staib · Kexin Pei · Fnu Suya · Amirata Ghorbani · Jacob Buckman · Matthias Hein · Huan Zhang · Yanjun Qi · Yuan Tian · Min Du · Dimitris Tsipras
Author Information
Taesik Na (Georgia Institute of Technology)
Yang Song (Stanford University)
Aman Sinha (Stanford University)
Richard Shin (UC Berkeley)
Qiuyuan Huang (Microsoft Research AI)
Nina Narodytska (VMWare Research)
Matt Staib (MIT)
Kexin Pei (Columbia University)
I am a fifth-year Ph.D. student at Department of Computer Science, Columbia University. I am advised by Suman Jana and Junfeng Yang. Before coming to Columbia, I obtained the research-based master at Department of Computer Science, Purdue University, advised by Dongyan Xu, Xiangyu Zhang and Luo Si. Prior to Purdue, I worked at the Database group, HKBU, advised by Haibo Hu and Jianliang Xu. I am broadly interested in Security, Systems, and Machine Learning. I am currently deeply excited about developing neural frameworks and architectures to understand program semantics and using them for program analysis and security.
Fnu Suya (University of Virginia)
Amirata Ghorbani (Stanford University)
Jacob Buckman (Google AI Resident)
Matthias Hein (Saarland University)
Huan Zhang (UCLA)
Yanjun Qi (University of Virginia)
Yuan Tian (University of Virginia)
Min Du (University of Utah)
Dimitris Tsipras (MIT)
More from the Same Authors
-
2020 : Contributed Talk 4 Presentation - "NICE: Neural Image Commenting Evaluation with an Emphasis on Emotion and Empathy" »
Qiuyuan Huang -
2021 : RobustBench: a standardized adversarial robustness benchmark »
Francesco Croce · Maksym Andriushchenko · Vikash Sehwag · Edoardo Debenedetti · Nicolas Flammarion · Mung Chiang · Prateek Mittal · Matthias Hein -
2021 Spotlight: An Infinite-Feature Extension for Bayesian ReLU Nets That Fixes Their Asymptotic Overconfidence »
Agustinus Kristiadi · Matthias Hein · Philipp Hennig -
2021 : Towards Automatic Actor-Critic Solutions to Continuous Control »
Jake Grigsby · Jin Yong Yoo · Yanjun Qi -
2021 : Being a Bit Frequentist Improves Bayesian Neural Networks »
Agustinus Kristiadi · Matthias Hein · Philipp Hennig -
2022 : Property-Driven Evaluation of RL-Controllers in Self-Driving Datacenters »
Arnav Chakravarthy · Nina Narodytska · Asmitha Rathis · Marius Vilcu · Mahmood Sharif · Gagandeep Singh -
2021 Poster: Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification »
Shiqi Wang · Huan Zhang · Kaidi Xu · Xue Lin · Suman Jana · Cho-Jui Hsieh · J. Zico Kolter -
2021 Poster: Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds »
Yujia Huang · Huan Zhang · Yuanyuan Shi · J. Zico Kolter · Anima Anandkumar -
2021 Poster: An Infinite-Feature Extension for Bayesian ReLU Nets That Fixes Their Asymptotic Overconfidence »
Agustinus Kristiadi · Matthias Hein · Philipp Hennig -
2021 Poster: Fast Certified Robust Training with Short Warmup »
Zhouxing Shi · Yihan Wang · Huan Zhang · Jinfeng Yi · Cho-Jui Hsieh -
2021 Poster: Editing a classifier by rewriting its prediction rules »
Shibani Santurkar · Dimitris Tsipras · Mahalaxmi Elango · David Bau · Antonio Torralba · Aleksander Madry -
2021 Poster: Robustness between the worst and average case »
Leslie Rice · Anna Bair · Huan Zhang · J. Zico Kolter -
2021 Poster: Meta-Learning the Search Distribution of Black-Box Random Search Based Adversarial Attacks »
Maksym Yatsura · Jan Metzen · Matthias Hein -
2020 : Contributed Talk 4 Q/A »
Qiuyuan Huang · Kezhen Chen -
2020 Poster: Neuron Shapley: Discovering the Responsible Neurons »
Amirata Ghorbani · James Zou -
2020 Poster: Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay »
Joao Marques-Silva · Thomas Gerspacher · Martin Cooper · Alexey Ignatiev · Nina Narodytska -
2020 Spotlight: Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay »
Joao Marques-Silva · Thomas Gerspacher · Martin Cooper · Alexey Ignatiev · Nina Narodytska -
2019 Poster: Distributionally Robust Optimization and Generalization in Kernel Methods »
Matt Staib · Stefanie Jegelka -
2019 Poster: Program Synthesis and Semantic Parsing with Learned Code Idioms »
Richard Shin · Miltiadis Allamanis · Marc Brockschmidt · Oleksandr Polozov -
2019 Poster: On Relating Explanations and Adversarial Examples »
Alexey Ignatiev · Nina Narodytska · Joao Marques-Silva -
2019 Poster: Towards Automatic Concept-based Explanations »
Amirata Ghorbani · James Wexler · James Zou · Been Kim -
2019 Poster: Image Synthesis with a Single (Robust) Classifier »
Shibani Santurkar · Andrew Ilyas · Dimitris Tsipras · Logan Engstrom · Brandon Tran · Aleksander Madry -
2019 Poster: Adversarial Examples Are Not Bugs, They Are Features »
Andrew Ilyas · Shibani Santurkar · Dimitris Tsipras · Logan Engstrom · Brandon Tran · Aleksander Madry -
2019 Spotlight: Adversarial Examples Are Not Bugs, They Are Features »
Andrew Ilyas · Shibani Santurkar · Dimitris Tsipras · Logan Engstrom · Brandon Tran · Aleksander Madry -
2018 Poster: Improving Neural Program Synthesis with Inferred Execution Traces »
Richard Shin · Illia Polosukhin · Dawn Song -
2018 Spotlight: Improving Neural Program Synthesis with Inferred Execution Traces »
Richard Shin · Illia Polosukhin · Dawn Song -
2018 Poster: How Does Batch Normalization Help Optimization? »
Shibani Santurkar · Dimitris Tsipras · Andrew Ilyas · Aleksander Madry -
2018 Poster: Adversarially Robust Generalization Requires More Data »
Ludwig Schmidt · Shibani Santurkar · Dimitris Tsipras · Kunal Talwar · Aleksander Madry -
2018 Poster: Efficient Formal Safety Analysis of Neural Networks »
Shiqi Wang · Kexin Pei · Justin Whitehouse · Junfeng Yang · Suman Jana -
2018 Poster: Turbo Learning for CaptionBot and DrawingBot »
Qiuyuan Huang · Pengchuan Zhang · Dapeng Wu · Lei Zhang -
2018 Poster: Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation »
Matthew O'Kelly · Aman Sinha · Hongseok Namkoong · Russ Tedrake · John Duchi -
2018 Oral: How Does Batch Normalization Help Optimization? »
Shibani Santurkar · Dimitris Tsipras · Andrew Ilyas · Aleksander Madry -
2018 Spotlight: Adversarially Robust Generalization Requires More Data »
Ludwig Schmidt · Shibani Santurkar · Dimitris Tsipras · Kunal Talwar · Aleksander Madry -
2017 Poster: Can Decentralized Algorithms Outperform Centralized Algorithms? A Case Study for Decentralized Parallel Stochastic Gradient Descent »
Xiangru Lian · Ce Zhang · Huan Zhang · Cho-Jui Hsieh · Wei Zhang · Ji Liu -
2017 Oral: Can Decentralized Algorithms Outperform Centralized Algorithms? A Case Study for Decentralized Parallel Stochastic Gradient Descent »
Xiangru Lian · Ce Zhang · Huan Zhang · Cho-Jui Hsieh · Wei Zhang · Ji Liu -
2017 Poster: Parallel Streaming Wasserstein Barycenters »
Matt Staib · Sebastian Claici · Justin Solomon · Stefanie Jegelka -
2017 Poster: Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation »
Matthias Hein · Maksym Andriushchenko -
2017 Poster: Attend and Predict: Understanding Gene Regulation by Selective Attention on Chromatin »
Ritambhara Singh · Jack Lanchantin · Arshdeep Sekhon · Yanjun Qi -
2016 Poster: Clustering Signed Networks with the Geometric Mean of Laplacians »
Pedro Mercado · Francesco Tudisco · Matthias Hein -
2016 Poster: Latent Attention For If-Then Program Synthesis »
Chang Liu · Xinyun Chen · Richard Shin · Mingcheng Chen · Dawn Song -
2016 Poster: Globally Optimal Training of Generalized Polynomial Neural Networks with Nonlinear Spectral Methods »
Antoine Gautier · Quynh Nguyen · Matthias Hein -
2016 Poster: Sublinear Time Orthogonal Tensor Decomposition »
Zhao Song · David Woodruff · Huan Zhang -
2016 Poster: Learning Kernels with Random Features »
Aman Sinha · John Duchi -
2016 Poster: A Comprehensive Linear Speedup Analysis for Asynchronous Stochastic Parallel Optimization from Zeroth-Order to First-Order »
Xiangru Lian · Huan Zhang · Cho-Jui Hsieh · Yijun Huang · Ji Liu -
2015 Poster: Efficient Output Kernel Learning for Multiple Tasks »
Pratik Kumar Jawanpuria · Maksim Lapin · Matthias Hein · Bernt Schiele -
2015 Poster: Top-k Multiclass SVM »
Maksim Lapin · Matthias Hein · Bernt Schiele -
2015 Spotlight: Top-k Multiclass SVM »
Maksim Lapin · Matthias Hein · Bernt Schiele -
2015 Poster: Regularization-Free Estimation in Trace Regression with Symmetric Positive Semidefinite Matrices »
Martin Slawski · Ping Li · Matthias Hein -
2014 Poster: Tight Continuous Relaxation of the Balanced k-Cut Problem »
Syama Sundar Rangapuram · Pramod Kaushik Mudrakarta · Matthias Hein -
2013 Poster: The Total Variation on Hypergraphs - Learning on Hypergraphs Revisited »
Matthias Hein · Simon Setzer · Leonardo Jost · Syama Sundar Rangapuram -
2013 Spotlight: The Total Variation on Hypergraphs - Learning on Hypergraphs Revisited »
Matthias Hein · Simon Setzer · Leonardo Jost · Syama Sundar Rangapuram -
2013 Poster: Matrix factorization with binary components »
Martin Slawski · Matthias Hein · Pavlo Lutsik -
2013 Spotlight: Matrix factorization with binary components »
Martin Slawski · Matthias Hein · Pavlo Lutsik -
2011 Poster: Sparse recovery by thresholded non-negative least squares »
Martin Slawski · Matthias Hein -
2011 Poster: Beyond Spectral Clustering - Tight Relaxations of Balanced Graph Cuts »
Matthias Hein · Simon Setzer -
2010 Poster: An Inverse Power Method for Nonlinear Eigenproblems with Applications in 1-Spectral Clustering and Sparse PCA »
Matthias Hein · Thomas Bühler -
2010 Spotlight: Getting lost in space: Large sample analysis of the resistance distance »
Ulrike von Luxburg · Agnes Radl · Matthias Hein -
2010 Poster: Getting lost in space: Large sample analysis of the resistance distance »
Ulrike von Luxburg · Agnes Radl · Matthias Hein -
2009 Poster: Semi-supervised Regression using Hessian energy with an application to semi-supervised dimensionality reduction »
Kwang In Kim · Florian Steinke · Matthias Hein -
2009 Poster: Robust Nonparametric Regression with Metric-Space Valued Output »
Matthias Hein -
2008 Poster: Non-parametric Regression Between Manifolds »
Florian Steinke · Matthias Hein -
2008 Poster: Influence of graph construction on graph-based clustering measures »
Markus M Maier · Ulrike von Luxburg · Matthias Hein -
2008 Oral: Influence of graph construction on graph-based clustering measures »
Markus M Maier · Ulrike von Luxburg · Matthias Hein -
2006 Poster: Manifold Denoising »
Matthias Hein · Markus M Maier -
2006 Talk: Manifold Denoising »
Matthias Hein · Markus M Maier