Gamora: Graph learning based symbolic reasoning for large-scale boolean networks January 1, 2023· Nan Wu , Yingjie Li , Cong Hao , Steve Dai , Cunxi Yu Yuan Xie · 0 min read Cite Type Conference paper Publication 2023 60th ACM/IEEE Design Automation Conference (DAC) publications Last updated on January 1, 2023 Authors Yuan Xie Chair Professor Fang Professor of Engineering | Chair Professor | IEEE/ACM/AAAS Fellow ← Efficient super-resolution system with block-wise hybridization and quantized winograd on fpga January 1, 2023 Hbp: Hierarchically balanced pruning and accelerator co-design for efficient dnn inference January 1, 2023 →