Data Hallucination , Falsification and Validation using Generative Models and Formal Methods by

@inproceedings{Costa2018DataH,
  title={Data Hallucination , Falsification and Validation using Generative Models and Formal Methods by},
  author={Jos{\'e} Rafael Valle Gomes da Costa},
  year={2018}
}
  • José Rafael Valle Gomes da Costa
  • Published 2018
Data Hallucination, Falsification and Validation using Generative Models and Formal Methods by José Rafael Valle Gomes da Costa Doctor of Philosophy in Machine Listening and Improvisation and Designated Emphasis in Computational and Data Science and Engineering University of California, Berkeley Professor Edmund Campion, Chair Professor Sanjit Seshia, Co-Chair The increasing pervasiveness and fast-paced development of deep learning (DL) systems with human-like perception, agency and creativity… CONTINUE READING

Similar Papers

References

Publications referenced by this paper.
SHOWING 1-10 OF 130 REFERENCES

Chintala, and title = Wasserstein GAN journal = arXiv preprint arXiv:1701.07875 year

S. M. Arjovsky
  • 2017
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

Least Squares Generative Adversarial Networks

  • 2017 IEEE International Conference on Computer Vision (ICCV)
  • 2016
VIEW 11 EXCERPTS
HIGHLY INFLUENTIAL

Generative Adversarial Nets

VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

Speaker identification and clustering using convolutional neural networks

  • 2016 IEEE 26th International Workshop on Machine Learning for Signal Processing (MLSP)
  • 2016
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

MNIST handwritten digit database

Yann LeCun, Corinna Cortes, Christopher JC Burges
  • AT&T Labs [Online]. Available: http://yann. lecun. com/exdb/mnist,
  • 2010
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL