Picture for Hongce Zhang

Hongce Zhang

NetTAG: A Multimodal RTL-and-Layout-Aligned Netlist Foundation Model via Text-Attributed Graph

Add code
Apr 12, 2025
Viaarxiv icon

Addressing Variable Dependency in GNN-based SAT Solving

Add code
Apr 18, 2023
Viaarxiv icon