Scholar
Yunsheng Bai
Google Scholar ID: ExgSObQAAAAJ
University of California, Los Angeles
Graph Deep Learning
Representation Learning
Discrete Structures
Machine Learning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,262
H-index
14
i10-index
19
Publications
20
Co-authors
0
Publications
6 items
FVRuleLearner: Operator-Level Reasoning Tree (Op-Tree)-Based Rules Learning for Formal Verification
IEEE VLSI Test Symposium · 2026
Cited
1
Learning to Debug: LLM-Organized Knowledge Trees for Solving RTL Assertion Failures
2025
Cited
0
Polymath: A Self-Optimizing Agent with Dynamic Hierarchical Workflow
2025
Cited
0
AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL
2025
Cited
0
ChipAlign: Instruction Alignment in Large Language Models for Chip Design via Geodesic Interpolation
arXiv.org · 2024
Cited
2
Learning to Compare Hardware Designs for High-Level Synthesis
Workshop on Machine Learning for CAD · 2024
Cited
0
