Wenda Leng

Orcid: 0009-0009-7181-4902

According to our database¹, Wenda Leng authored at least 2 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Accelerating hardware formal verification via AutoML-driven SMT runtime prediction and solver selection.

[DOI]

Integr., 2026

2025

Adaptive Clause Management in SMT Solvers: A Dynamic Weighting Framework for Formal Verification.

[DOI]

Proceedings of the Theoretical Aspects of Software Engineering, 2025