Zhengyang Lu

According to our database, Zhengyang Lu authored at least 8 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Btor2-Select: Machine Learning Based Algorithm Selection for Hardware Model Checking.

Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Arie Gurfinkel, Vijay Ganesh

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract).

Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Vijay Ganesh

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024

Btor2-SelectMC (HWMCC 2024 Submission).

Zhengyang John Lu, Po-Chun Chien, Nian-Ze Lee, Vijay Ganesh

Dataset, September, 2024

Btor2-SelectMC (HWMCC 2024 Submission).

Zhengyang John Lu, Po-Chun Chien, Nian-Ze Lee, Vijay Ganesh

Dataset, September, 2024

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers.

Chunxiao Li, Charlie Liu, Jonathan Chung, Zhengyang Lu, Piyush Jha, Vijay Ganesh

CoRR, 2024

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems.

Piyush Jha, Zhengyu Li, Zhengyang Lu, Curtis Bright, Vijay Ganesh

CoRR, 2024

Temporal Fusion Transformer for Real-Time Intersection Turning Movement Flow Forecasting Incorporating Exogenous Factors.

Ce Zhang, Guangyuan Pan, Matthew I. Muresan, Zhengyang Lu, Liping Fu

Proceedings of the 27th IEEE International Conference on Intelligent Transportation Systems, 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

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024