Statistics
Publications
5
Citations
92
H-Index
5
Active since
2021
Affiliations
Guangyuan Wu is an author at Northeast Forestry University specializing in materials engineering, pavement engineering, and engineering.
Publications per year
2021–2024
5
5
LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference
Guangyuan Wu, Yuan Yao, Hengfeng Wei et al. · 2024 · 12 citations
1–5 of 5