Gamora: Graph learning based symbolic reasoning for large-scale boolean networksJanuary 1, 2023·Nan Wu,Yingjie Li,Cong Hao,Steve Dai,Cunxi YuYuan Xie· 0 min read CiteTypeConference paperPublication2023 60th ACM/IEEE Design Automation Conference (DAC)publicationsLast updated on January 1, 2023 AuthorsYuan XieChair ProfessorFang Professor of Engineering | Chair Professor | IEEE/ACM/AAAS Fellow ← Efficient super-resolution system with block-wise hybridization and quantized winograd on fpga January 1, 2023Hbp: Hierarchically balanced pruning and accelerator co-design for efficient dnn inference January 1, 2023 →