The Case for Automated Hyperspecialization: Evidence from SAT

Harrison Green, Claire Le Goues, Fraser Brown

The software status quo is to use one system to process many different kinds of inputs. In contrast, we propose hyperspecialization: creating new software that is optimized for a s…