Fetching the paper…
Reading the bibliography…
We present a novel framework for augmenting data sets for machine learning based on counterexamples.
On the efficiency of certain quasi-random sequences of points in evaluating multi-dimensional integrals
John H Halton · 1960
Earlier work this paper cites.
Uniformly distributed sequences with an additional uniform property
Ilya M Sobol · 1976
Earlier work this paper cites.
Principal component analysis
Svante Wold, Kim Esbensen, and Paul Geladi · 1987
Earlier work this paper cites.
Low-discrepancy and low- sequences
Harald Niederreiter · 1988
Earlier work this paper cites.
The art of data augmentation
David A van Dyk and Xiao-Li Meng · 2001
Earlier work this paper cites.
Best practices for convolutional neural networks applied to visual document analysis
Patrice Y Simard, David Steinkraus, John C Platt, et al · 2003
Earlier work this paper cites.
Combinatorial sketching for finite programs
Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, and Vijay A. Saraswat · 2006
Earlier work this paper cites.
High-performance neural networks for visual object classification
Dan C Cireşan, Ueli Meier, Jonathan Masci, Luca M Gambardella, and Jürgen Schmidhuber · 2011
Earlier work this paper cites.
Multi-column deep neural networks for image classification
Dan Ciregan, Ueli Meier, and Jürgen Schmidhuber · 2012
Earlier work this paper cites.
Imagenet classification with deep convolutional neural networks
Alex Krizhevsky, Ilya Sutskever, and Geoffrey E Hinton · 2012
Cited alongside, same era.
Syntax-guided synthesis
Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa · 2013
Cited alongside, same era.
Generative adversarial nets
Ian Goodfellow, Jean Pouget-Abadie, Mehdi Mirza, Bing Xu, David Warde-Farley, Sherjil Ozair, Aaron Courville, and Yoshua Bengio · 2014
Cited alongside, same era.
Letter to the editor: Research priorities for robust and beneficial artificial intelligence: An open letter
Stuart Russell, Tom Dietterich, Eric Horvitz, Bart Selman, Francesca Rossi, Demis Hassabis, Shane Legg, Mustafa Suleyman, Dileep George, and Scott Phoenix · 2015
Cited alongside, same era.
Towards Verified Artificial Intelligence
Sanjit A. Seshia, Dorsa Sadigh, and S. Shankar Sastry · 2016
Cited alongside, same era.
Training region-based object detectors with online hard example mining
Improved relation classification by deep recurrent neural networks with data augmentation
Yan Xu, Ran Jia, Lili Mou, Ge Li, Yunchuan Chen, Yangyang Lu, and Zhi Jin · 2016
Later among the works it cites.
Compositional falsification of cyber-physical systems with machine learning components
Tommaso Dreossi, Alexandre Donze, and Sanjit A. Seshia · 2017
Later among the works it cites.
Systematic testing of convolutional neural networks for autonomous driving
Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia · 2017
Later among the works it cites.
A Theory of Formal Synthesis via Inductive Learning
Susmit Jha and Sanjit A. Seshia · 2017
Later among the works it cites.
Recurrent topic-transition gan for visual paragraph generation
Xiaodan Liang, Zhiting Hu, Hao Zhang, Chuang Gan, and Eric P Xing · 2017
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Abhinav Shrivastava, Abhinav Gupta, and Ross Girshick · 2016
Cited alongside, same era.
Understanding data augmentation for classification: when to warp?
Sebastien C Wong, Adam Gatt, Victor Stamatescu, and Mark D McDonnell · 2016
Cited alongside, same era.
Squeezedet: Unified, small, low power fully convolutional neural networks for real-time object detection for autonomous driving
Bichen Wu, Forrest Iandola, Peter H. Jin, and Kurt Keutzer · 2016
Cited alongside, same era.
Later among the works it cites.
Megapixel size image creation using generative adversarial networks
Marco Marchesi · 2017
Later among the works it cites.
Domain randomization for transferring deep neural networks from simulation to the real world
Josh Tobin, Rachel Fong, Alex Ray, Jonas Schneider, Wojciech Zaremba, and Pieter Abbeel · 2017
Later among the works it cites.
Semantic adversarial deep learning
Tommaso Dreossi, Somesh Jha, and Sanjit A. Seshia · 2018
Closest in time.