Wenjie Jiang

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Semantic Representations

Top Venues

Publications

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