Elven Shum

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 2

Top Topics

Filtering Algorithm

Formal Languages

Top Venues

Publications

Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito
Grammar Filtering For Syntax-Guided Synthesis. CoRR (2020)
Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito
Grammar Filtering for Syntax-Guided Synthesis. AAAI (2020)