Huawei AI-Solver Group
Huawei AI-Solver Group
新闻
研究论文
成员
联系
Zhanguang Zhang
Latest
Grass: Combining graph neural networks with expert knowledge for sat solver selection
HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation
The Graph's Apprentice: Teaching an LLM Low Level Knowledge for Circuit Quality Estimation
Cite
×