Ho, C. Richard

1 publications

NeurIPS 2021 Learning Semantic Representations to Verify Hardware Designs Shobha Vasudevan, Wenjie Jiang, David Bieber, Rishabh Singh, Hamid Shojaei, C. Richard Ho, Charles A. Sutton