Elven Shum

According to our database, Elven Shum authored at least 1 paper in 2020.

Collaborative distances:

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

2020

Grammar Filtering for Syntax-Guided Synthesis.

Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020