Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Lily Jiaxin Wan
Observed name:
Wan, Lily Jiaxin
Institution:
University of Illinois Urbana-Champaign
Observed institution:
University of Illinois Urbana-Champaign
OpenAlex ID:
A5108994422
Invited Paper: Software/Hardware Co-design for LLM and Its Application for Design Verification
2024
·
Lily Jiaxin Wan
, Yingbing Huang
, et al.
·
Asia and South Pacific Design Automation Conference (ASP-DAC)
·
22
FVRuleLearner: Operator-Level Reasoning Tree (Op-Tree)-Based Rules Learning for Formal Verification
2026
·
Lily Jiaxin Wan
, Chia-Tung Ho
, et al.
·
IEEE VLSI Test Symposium (VTS)
·
2
PDF
An Iteratively-refined Dataset for High-Level Synthesis Functional Verification through LLM-Aided Bug Injection
2024
·
Lily Jiaxin Wan
, Hanchen Ye
, et al.
·
IEEE LLM Aided Design Workshop (LAD)
·
2
Toward Quantum Software Automation: A Quantum-Aware Harness for LLM-Guided Evolution
2026
·
Wan, Lily Jiaxin
, Chen, Deming
, et al.
·
arXiv (Cornell University)
·
1
PDF
Show more works
View as search
Works count:
4
Citation count:
27
H-index:
2
I10-index:
1
Year
Topic
Type
