Experience

 
 
 
 
 

Internship

National Center of Technology Innovation for EDA

May 2024 – Aug 2024 Nanjing, China
 
 
 
 
 

Internship

Tencent

May 2021 – Jun 2021 Shenzhen, China
 
 
 
 
 

Internship

Meituan

Dec 2020 – Mar 2021 Beijing, China
 
 
 
 
 

Internship

Ant Group

May 2020 – Aug 2020 Hangzhou, China

Publications

(2026). AnalogVerifier: A Neuro-Symbolic Framework for Analog Circuit Verification. Proceedings of the Forty-third International Conference on Machine Learning (ICML).

(2026). Expert-level Leaf Cell Layout Generation via Preference-Optimized LLM. Proceedings of the Forty-third International Conference on Machine Learning (ICML). (Corresponding Author)

(2026). THLR: A Top-down Hierarchical Logic Rewrite Framework for Xor-Majority-Inverter Graphs. Proceedings of the Great Lakes Symposium on VLSI (GLSVLSI). (Corresponding Author)

(2026). SAT-Helper: A Multi-Agent System for Adaptive Optimizing Large-Scale Conjunctive Normal Form. Proceedings of the 63rd Design Automation Conference (DAC). (Corresponding Author)

(2026). Chariot: Compiler-Aware Heterogeneous Graph Representation Learning for Automated HLS Optimization. Proceedings of the 34th IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM).

(2026). ELMBA: Escape from Local Minima in Buffer and Splitter Insertion for AQFP Circuits. Proceedings of the 63rd Design Automation Conference (DAC).

(2026). MappingEvolve: LLM-Driven Code Evolution for Technology Mapping. Proceedings of the 63rd Design Automation Conference (DAC).

PDF

(2026). Efficient Multi-Array Parallel Scheduling for In-Memory Computing. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD).

PDF DOI