Gamora: Graph learning based symbolic reasoning for large-scale boolean networks Jan 1, 2023· Nan Wu , Yingjie Li , Cong Hao , Steve Dai , Cunxi Yu Prof. Yuan Xie · 0 min read Cite Type Conference paper Publication 2023 60th ACM/IEEE Design Automation Conference (DAC) Last updated on Jan 1, 2023 Authors Prof. 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 Jan 1, 2023 Hbp: Hierarchically balanced pruning and accelerator co-design for efficient dnn inference Jan 1, 2023 →