PPaperPicks

Zhengyang Lu

2 papers at tracked venues · 1 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1IJCAI ×1

Papers

  1. Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract)
    AAAI 2025 · Zhengyang Lu
  2. Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
    IJCAI 2024 · Zhengyang Lu