SymRTLO: Enhancing RTL Code Optimization with LLMs and Neuron-Inspired Symbolic Reasoning - Wang, Yiting; Ye, Wanghao; Guo, Ping; He, Yexiao; Wang, Ziyao; Tian, Bowei; He, Shwai; Sun, Guoheng; Shen, Zheyu; Chen, Sihan; Srivastava, Ankur; Zhang, Qingfu; et al. (Advances in Neural Information Processing Systems, 2025)