Zhengyang Lu

3 papers at tracked venues · 1 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1 CP ×1 IJCAI ×1

Frequent coauthors

Vijay Ganesh

×3

Florin Manea

×2

Paul Sarnighausen-Cahn

×1

Jiahao Chen

×1

Arie Gurfinkel

×1

Po-Chun Chien

×1

Nian-Ze Lee

×1

Stefan Siemer

×1

Piyush Jha

×1

Joel D. Day

×1

Papers

Learning Unified Graph and Language Representations for SMT Algorithm Selection
CP 2026 · Zhengyang Lu,
Paul Sarnighausen-Cahn
,
Jiahao Chen
,
Arie Gurfinkel
,
Florin Manea
,
Vijay Ganesh
Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract)
AAAI 2025 · Zhengyang Lu,
Po-Chun Chien
,
Nian-Ze Lee
,
Vijay Ganesh
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
IJCAI 2024 · Zhengyang Lu,
Stefan Siemer
,
Piyush Jha
,
Joel D. Day
,
Florin Manea
,
Vijay Ganesh