A Case Study on Machine Learning for Synthesizing Benchmarks Andrés Goens, Alexander Brauckmann, Sebastian Ertel, Chris Cummins, Hugh Leather, Jeronimo Castrillon Last updated on Sep 24, 2023 Cite DOI URL contribution