@inproceedings{NEURIPS2021_c5aa6594, author = {Vasudevan, Shobha and Jiang, Wenjie (Joe) and Bieber, David and Singh, Rishabh and shojaei, hamid and Ho, C. Richard and Sutton, Charles}, booktitle = {Advances in Neural Information Processing Systems}, editor = {M. Ranzato and A. Beygelzimer and Y. Dauphin and P.S. Liang and J. Wortman Vaughan}, pages = {23491--23504}, publisher = {Curran Associates, Inc.}, title = {Learning Semantic Representations to Verify Hardware Designs}, url = {https://proceedings.neurips.cc/paper_files/paper/2021/file/c5aa65949d20f6b20e1a922c13d974e7-Paper.pdf}, volume = {34}, year = {2021} }