Scholar
Xiaofeng Zhou
Google Scholar ID: rWRU-IwAAAAJ
Beijing Institute of Technology
Natural Language Processing
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
30
H-index
3
i10-index
1
Publications
4
Co-authors
0
Publications
9 items
Enhancing Word-Level Property Directed Reachability with LLM-Driven Semantic Guidance
2026
Cited
0
NeuroAbs: A Neuro-Symbolic RTL Abstraction Framework for Property Checking Acceleration
2026
Cited
0
HiFuzz: Hierarchical Reinforcement Learning for Semantic-Aware and Adaptive CPU Fuzzing
2026
Cited
0
AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs
2026
Cited
0
A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking
2026
Cited
0
AutoPDR: Circuit-Aware Solver Configuration Prediction for Hardware Model Checking
2026
Cited
0
FPPS: An FPGA-Based Point Cloud Processing System
2026
Cited
0
EvolveGen: Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning
2026
Cited
0
Load more
