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

Temporal Fusion Transformer for Real-Time Intersection Turning Movement Flow Forecasting Incorporating Exogenous Factors. - Ce Zhang; Guangyuan Pan; Matthew I. Muresan; Zhengyang Lu 002; Liping Fu (ITSC, 2024)

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems. - Piyush Jha; Zhengyu Li 002; Zhengyang Lu 002; Curtis Bright; Vijay Ganesh 001 (CoRR, 2024)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers. - Chunxiao Li 002; Charlie Liu; Jonathan Chung 003; Zhengyang Lu 002; Piyush Jha; Vijay Ganesh 001 (CoRR, 2024)

Btor2-SelectMC (HWMCC 2024 Submission). - Zhengyang John Lu; Po-Chun Chien; Nian-Ze Lee; Vijay Ganesh 001 (Zenodo, 2024)

Btor2-SelectMC (HWMCC 2024 Submission). - Zhengyang John Lu; Po-Chun Chien; Nian-Ze Lee; Vijay Ganesh 001 (Zenodo, 2024)

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

Btor2-Select: Machine Learning Based Algorithm Selection for Hardware Model Checking. - Zhengyang Lu 002; Po-Chun Chien; Nian-Ze Lee; Arie Gurfinkel; Vijay Ganesh 001 (CAV (1), 2025)