Scholar

Jiaxi Zhang

Google Scholar ID: fekzR0AAAAAJ

Peking University

Electronic Design Automation

Google Scholar↗

Citations & Impact

All-time

Citations

306

H-index

9

i10-index

9

Publications

20

Co-authors

3

list available

Contact

No contact links provided.

Publications

8 items

AutoPDR: Circuit-Aware Solver Configuration Prediction for Hardware Model Checking

2026

Cited

0

Morphology-Consistent Humanoid Interaction through Robot-Centric Video Synthesis

2026

Cited

0

UniGround: Universal 3D Visual Grounding via Training-Free Scene Parsing

2026

Cited

0

Spherical Latent Motion Prior for Physics-Based Simulated Humanoid Control

2026

Cited

0

Iterative Closed-Loop Motion Synthesis for Scaling the Capabilities of Humanoid Control

2026

Cited

0

BoolSkeleton : Boolean Network Skeletonization via Homogeneous Pattern Reduction

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2025

Cited

0

Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation

2025

Cited

0

Bridging the Gap between Hardware Fuzzing and Industrial Verification

2025

Cited

0

Resume (English only)

Co-authors

3 total

Peking University

Peking University