Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Steve Dai
Map detail
Steve Dai4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipSteve DaiASteve DaiResearcherVerifying High-Level Latency-Insensitive Designs with Formal Model CheckingWVerifying High-Level La...preprint / 2021VS-Quant: Per-vector Scaled Quantization for Accurate Low-Precision Neural Network InferenceWVS-Quant: Per-vector Sc...preprint / 2021LNS-Madam: Low-Precision Training in Logarithmic Number System using Multiplicative Weight UpdateWLNS-Madam: Low-Precisio...preprint / 2022
Person3 links

Steve Dai

Researcher