Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Zhang, Zhanguang"'
Autor:
Moravej, Reza, Bodhe, Saurabh, Zhang, Zhanguang, Chetelat, Didier, Tsaras, Dimitrios, Zhang, Yingxue, Zhen, Hui-Ling, Hao, Jianye, Yuan, Mingxuan
Logic synthesis is a crucial phase in the circuit design process, responsible for transforming hardware description language (HDL) designs into optimized netlists. However, traditional logic synthesis methods are computationally intensive, restrictin
Externí odkaz:
http://arxiv.org/abs/2411.00843
Autor:
Zhang, Lingfeng, Wang, Yuening, Gu, Hongjian, Hamidizadeh, Atia, Zhang, Zhanguang, Liu, Yuecheng, Wang, Yutong, Bravo, David Gamaliel Arcos, Dong, Junyi, Zhou, Shunbo, Cao, Tongtong, Zhuang, Yuzheng, Zhang, Yingxue, Hao, Jianye
Recent advancements in Large Language Models (LLMs) have spurred numerous attempts to apply these technologies to embodied tasks, particularly focusing on high-level task planning and task decomposition. To further explore this area, we introduce a n
Externí odkaz:
http://arxiv.org/abs/2410.14682
Efficiently determining the satisfiability of a boolean equation -- known as the SAT problem for brevity -- is crucial in various industrial problems. Recently, the advent of deep learning methods has introduced significant potential for enhancing SA
Externí odkaz:
http://arxiv.org/abs/2409.18778
Autor:
Zhang, Zhanguang, Chetelat, Didier, Cotnareanu, Joseph, Ghose, Amur, Xiao, Wenyi, Zhen, Hui-Ling, Zhang, Yingxue, Hao, Jianye, Coates, Mark, Yuan, Mingxuan
Boolean satisfiability (SAT) problems are routinely solved by SAT solvers in real-life applications, yet solving time can vary drastically between solvers for the same instance. This has motivated research into machine learning models that can predic
Externí odkaz:
http://arxiv.org/abs/2405.11024
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.