Author

Fraser Brown

h-index 2 View on Semantic Scholar

We have 1 of 10 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

The Case for Automated Hyperspecialization: Evidence from SAT

This paper explores one such problem, SAT solving, by synthesizing hundreds of workload-specific SAT solvers at an average cost of $37 each, and conjecture that coding agents make automated hyperspecialization cheap, effective, and safe for problems with measurable performance and checkable output.

Harrison Green, Claire Le Goues, Fraser Brown · 0 citations