Full Publication List: Sibo Zhang

@article{Nie2026HierSVA,
	author = {Nie, Maohua and Zhu, Jiang and Zhang, Jingqun and Zeng, Zhichen and Wang, Jiayi and Zhang, Sibo and Wang, Jialin and Shi, C. -J. Richard},
	doi = {10.48550/ARXIV.2606.13706},
	year = {2026},
	publisher = {arXiv},
	title = {HierSVA: A {Data} {Synthesis} {Pipeline}, {Dataset}, and {Benchmark} for {LLM}-{Driven} {Hierarchical} {Hardware} {Formal} {Verification}},
	url = {https://arxiv.org/abs/2606.13706},
}