Lu, Zhengyang

2 publications

AAAI 2025 Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract) Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Vijay Ganesh

IJCAI 2024 Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh