746 citations · 923 across the 3 of their papers we have counts for
3 papers
cs.AR2023
SatIn: Hardware for Boolean Satisfiability Inference
Chenzhuo Zhu, Alexander C. Rucker, Yawen Wang +1
This paper describes SatIn, a hardware accelerator for determining boolean satisfiability (SAT) -- an important problem in many domains including verification, security analysis, a…
cs.RO2017★ 177 cited
Shape-independent Hardness Estimation Using Deep Learning and a GelSight Tactile Sensor
Wenzhen Yuan, Chenzhuo Zhu, Andrew Owens +2
Hardness is among the most important attributes of an object that humans learn about through touch. However, approaches for robots to estimate hardness are limited, due to the lack…
cs.LG2016★ 746 cited
Trained Ternary Quantization
Chenzhuo Zhu, Song Han, Huizi Mao +1
Deep neural networks are widely used in machine learning applications. However, the deployment of large neural networks models can be difficult to deploy on mobile devices with lim…