PhD student, City University of Hong Kong
1 paper at NeurIPS 2025
SymRTLO is a state-of-the-art neuron-symbolic RTL optimizer that combines LLM-based rewriting, symbolic reasoning, and fast verification to achieve up to 48% lower power, 91% faster timing, and 47% reduced area.
