research
∙
03/14/2023
Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks
Reasoning high-level abstractions from bit-blasted Boolean networks (BNs...
share
research
∙
06/13/2022
Optimal Clipping and Magnitude-aware Differentiation for Improved Quantization-aware Training
Data clipping is crucial in reducing noise in quantization operations an...
research
∙
06/26/2021
Low-Precision Training in Logarithmic Number System using Multiplicative Weight Update
Representing deep neural networks (DNNs) in low-precision is a promising...
research
∙
03/16/2021
Softermax: Hardware/Software Co-Design of an Efficient Softmax for Transformers
Transformers have transformed the field of natural language processing. ...
research
∙
02/12/2021
Verifying High-Level Latency-Insensitive Designs with Formal Model Checking
Latency-insensitive design mitigates increasing interconnect delay and e...
research
∙
02/08/2021