Zhengyang Lu

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

Collaborative distances:

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

2025

Novel tree-search method for synthesizing SMT strategies.

Zhengyang John Lu, Joel D. Day, Piyush Jha, Paul Sarnighausen-Cahn, Stefan Siemer, Florin Manea, Vijay Ganesh

Acta Informatica, September, 2025

Reproduction Package for CAV 2025 Article 'Btor2-Select: Machine Learning Based Algorithm Selection for Hardware Model Checking'.

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

Dataset, July, 2025

Reproduction Package for CAV 2025 Submission 'Btor2-Select: Machine Learning Based Algorithm Selection for Hardware Model Checking'.

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

Dataset, May, 2025

Reproduction Package for CAV 2025 Submission 'Btor2-Select: Machine Learning Based Algorithm Selection for Hardware Model Checking'.

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

Dataset, April, 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

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 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), 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