A Graph Enhanced Symbolic Discovery Framework For Efficient Logic Optimization

Open Webpage

Yinqi Bai, Jie Wang, Lei Chen, Zhihai Wang, Yufei Kuang, Mingxuan Yuan, Jianye Hao, Feng Wu

Published: 2025, Last Modified: 15 Jan 2026ICLR 2025EveryoneRevisionsBibTeXCC BY-SA 4.0